Package: libghc-smtlib-doc
Architecture: all
Version: 1.1-3build1
Priority: extra
Section: universe/doc
Source: haskell-smtlib
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: 1880
Depends: haddock-interface-41
Recommends: ghc-doc, libghc-smtlib-dev, libjs-mathjax
Suggests: libghc-smtlib-prof
Filename: pool/universe/h/haskell-smtlib/libghc-smtlib-doc_1.1-3build1_all.deb
Size: 82926
MD5sum: 1c7db57156dcaeff335dafd0a62b65c1
SHA1: c2ccca7b1b9cb0382e6f6bed24f3e632c5698250
SHA256: e9f86f62de5b0d68af27e7391642f046ca3b27070bb0374d448450fc1fda34ac
SHA512: 7bd696abbdaa0f97203cc3b2d1a90d5789381c6df7442473ebbd05a10935026cd8429ae2b557d34e5df0f4f34a28b69ea9d65eb7062f0583ecae4822d61b248d
Description: A library for working with the SMTLIB format.; documentation
Description-md5: a11ea97faf3eed3767c41290adb23042