Package: libghc-smtlib-dev Architecture: amd64 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: 4979 Provides: libghc-smtlib-dev-1.0.8-0bea9 Depends: libghc-base-dev-4.9.1.0-d28d6, libghc-pretty-dev-1.1.3.3-912de, libc6 (>= 2.2.5), libgmp10 Suggests: libghc-smtlib-doc, libghc-smtlib-prof Filename: pool/universe/h/haskell-smtlib/libghc-smtlib-dev_1.0.8-3build1_amd64.deb Size: 435770 MD5sum: 99fcf19333a5b70fecb2a21e681bf669 SHA1: 6c648092b453c72202ec2e60c1f9fceeb4ea534b SHA256: f33fe90ef0da7140b57a1d78b6f6b085d9b7a0f43bcbf1edcf01b1e89b763ab0 Description: A library for working with the SMTLIB format. Ghc-Package: smtLib-1.0.8-DWhwppwMd3YJwiH02M9zXp Description-md5: dd571ef0c36dd122b05179bd0bbb8c70