Package: libghc-simple-smt-dev
Source: haskell-simple-smt
Priority: extra
Section: universe/haskell
Installed-Size: 822
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 0.9.7-4
Provides: libghc-simple-smt-dev-0.9.7-784aa
Depends: libghc-base-dev-4.20.2.0-47ff0, libghc-process-dev-1.6.26.1-92ff0, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
Filename: pool/universe/h/haskell-simple-smt/libghc-simple-smt-dev_0.9.7-4_amd64.deb
Size: 107394
SHA512: 7ef2a63d2b0dc0acb4a9c8e2397c7e5f2a3436a3e72043ce9ab559e29056022cc4e3dcc0d3444d2340efc8624e8f49ee3fc82e63cb60d9342b303565c5c98f9d
Homepage: http://hackage.haskell.org/package/simple-smt
Description: A simple way to interact with an SMT solver process.
Description-md5: 0707b18a20b500c0bdfb0b10fd95bb7f
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Ghc-Package: simple-smt-0.9.7-CoiFY2RLyzo5Lf6oId8Aeg
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug