Package: libghc-simple-smt-doc Source: haskell-simple-smt Priority: extra Section: universe/doc Installed-Size: 846 Maintainer: Ubuntu Developers Architecture: all Version: 0.9.7-4 Recommends: ghc-doc, libghc-simple-smt-dev, libjs-mathjax Suggests: libghc-simple-smt-prof Depends: haddock-interface-44 Filename: pool/universe/h/haskell-simple-smt/libghc-simple-smt-doc_0.9.7-4_all.deb Size: 60990 SHA512: a63b39de52ec44020b0a792611da32799d91b2dc99bfe735be51207ad42c3470c670d6980801f81854ffe8898ae7459e9233558a0f3f5259daa75eed5dbf5403 Homepage: http://hackage.haskell.org/package/simple-smt Description: A simple way to interact with an SMT solver process.; documentation Description-md5: 4e1c0f24d54977f3c09ec42252d03762 Original-Maintainer: Debian Haskell Group Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug