Package: libghc-smtlib-dev
Architecture: i386
Version: 1.0.8-3build1
Priority: extra
Section: universe/haskell
Source: haskell-smtlib
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 4026
Provides: libghc-smtlib-dev-1.0.8-b022b
Depends: libghc-base-dev-4.9.1.0-5a696, libghc-pretty-dev-1.1.3.3-92eaa, libc6 (>= 2.1.3), libgmp10
Suggests: libghc-smtlib-doc, libghc-smtlib-prof
Filename: pool/universe/h/haskell-smtlib/libghc-smtlib-dev_1.0.8-3build1_i386.deb
Size: 411206
MD5sum: 46a2cc10bbf2d26a892bc237004df482
SHA1: 1c2ae939c5d09b18be9378015607876203609dd7
SHA256: fdac60ad5b731b06dbe477f2b1f0936772685d80193647e455d1f12017b74bed
Description: A library for working with the SMTLIB format.
Ghc-Package: smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp
Description-md5: dd571ef0c36dd122b05179bd0bbb8c70