Package: libghc-simple-smt-dev
Architecture: amd64
Version: 0.9.7-2
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-2_amd64.deb
Size: 116648
MD5sum: d37e996034839fc186203fe7ecd1f63e
SHA1: 824aeffcfbaba8da10bc3ca59ebc06002ec9baa8
SHA256: 6551293021071ad5da97a133917fc6b4f2301a412092e312f3622691dfae2f36
SHA512: 77d2803351af80da00040adaf4df6d0b6d32c8f55f1164455d391dc07449216fa20cb5fcbec7afe3916cd1bb517eb3ecc1ce72fb4823fa2a134c0629f5b9dcd2
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