Package: libghc-simple-smt-doc Architecture: all Version: 0.9.7-2build1 Priority: extra Section: universe/doc Source: haskell-simple-smt Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 849 Depends: haddock-interface-41 Recommends: ghc-doc, libghc-simple-smt-dev, libjs-mathjax Suggests: libghc-simple-smt-prof Filename: pool/universe/h/haskell-simple-smt/libghc-simple-smt-doc_0.9.7-2build1_all.deb Size: 61540 MD5sum: dfbbc2e62ea20bff6e0548ae70d467f4 SHA1: f116d56404f8a80088efc59f1d289be3d5b69df2 SHA256: b6eedfaf7b92cf2a8814a366b03b31f772eb575750858195f874bf9e6c860525 SHA512: 170a3f1d697091e9eeb966615255b6ed35a6aa0780028d570f487c1f11d895117eb7418afb0a14b3b8f33dbd6fffe925be6a5e084312687c87279011b604a710 Homepage: http://hackage.haskell.org/package/simple-smt Description: A simple way to interact with an SMT solver process.; documentation Description-md5: 4e1c0f24d54977f3c09ec42252d03762