Package: libghc-simple-smt-dev Architecture: amd64 Version: 0.6.0-3build1 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: 628 Provides: libghc-simple-smt-dev-0.6.0-53604 Depends: libghc-base-dev-4.9.1.0-d28d6, libghc-process-dev-1.4.3.0-996f5, libc6 (>= 2.2.5), libgmp10 Suggests: libghc-simple-smt-doc, libghc-simple-smt-prof Filename: pool/universe/h/haskell-simple-smt/libghc-simple-smt-dev_0.6.0-3build1_amd64.deb Size: 71584 MD5sum: 291e21c2a6a9d6315f43814a4ff0a4a5 SHA1: 360abe3ddb208c5e8c00c08bb7042b74d932afe0 SHA256: 663817eefb3329daccd84e9f5edac092483f86481f5f48dcf17cefb042fb2bdb Homepage: http://hackage.haskell.org/package/simple-smt Description: A simple way to interact with an SMT solver process. Ghc-Package: simple-smt-0.6.0-CI7u7h5MDxGL4cH1fwbZPc Description-md5: 0707b18a20b500c0bdfb0b10fd95bb7f