Package: libghc-simple-smt-doc Architecture: all Version: 0.9.7-2 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-2_all.deb Size: 61148 MD5sum: a569d4158802a3b89efe1dea71795a8b SHA1: 3f22bbefe890a6d9483dfc48671ebccad13a0fff SHA256: b3541bf7ca9a11e99b276217117a3ee104f998079f936d75fe1a61e33ad174f2 SHA512: a2420d079e8fbeda4dc5cd53cc5de04fa68bb503d38ebac207527df1efb9414302d1eb6a5553143e3b7a0d6f6c9432eb979ded4e2e01d699b61925fc1e0d5204 Homepage: http://hackage.haskell.org/package/simple-smt Description: A simple way to interact with an SMT solver process.; documentation Description-md5: 4e1c0f24d54977f3c09ec42252d03762