Package: libghc-smtlib-prof
Source: haskell-smtlib
Version: 1.1-5
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 4114
Depends: libghc-base-prof-4.20.2.0-47ff0, libghc-pretty-prof-1.1.3.6-f6a4f, libghc-smtlib-dev (= 1.1-5)
Provides: libghc-smtlib-prof-1.1-247fc
Section: haskell
Priority: optional
Description: A library for working with the SMTLIB format.; profiling libraries
 .
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.
