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 MD5sum: 95ed69dc2989c813aa4b9e23c6fd5e28 SHA1: 76533475010b88c06c751023c3d92ca3ff8f2bf0 SHA256: cbd5b7daa35970501d825e710357c169f98f3fef84f6256ea12618630e241b19 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