Package: libghc-simple-smt-dev
Architecture: amd64
Version: 0.9.7-2build1
Priority: extra
Section: universe/haskell
Source: haskell-simple-smt
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: 849
Provides: libghc-simple-smt-dev-0.9.7-00072
Depends: libghc-base-dev-4.17.2.0-68dfe, libghc-process-dev-1.6.17.0-29e15, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Filename: pool/universe/h/haskell-simple-smt/libghc-simple-smt-dev_0.9.7-2build1_amd64.deb
Size: 116588
MD5sum: 326b2bad609eb2146574f493fa2f4d2e
SHA1: 0f50ded84cc5bfb7c44ecc47314258ef0bd08bf8
SHA256: c6c7421bc11b9c2ec11e5fa0a00b8d3cf8dcc4092dcca9b4535980291774e202
SHA512: 075f151aa20d484554eb97a18572f6e5bdb69053ae4580c00c80f85ea710fc3c98eae938c23661ec7327bdec94e1a4a13edb1f2a35e28addc70977a3aac1902b
Homepage: http://hackage.haskell.org/package/simple-smt
Description: A simple way to interact with an SMT solver process.
Ghc-Package: simple-smt-0.9.7-B9Rkpvk0xVhJM9hxMXjaI3
Description-md5: 0707b18a20b500c0bdfb0b10fd95bb7f