Package: libghc-cryptol-doc Architecture: all Version: 3.0.0-1build2 Priority: optional Section: universe/doc Source: haskell-cryptol Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian Haskell Group Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 52544 Depends: haddock-interface-41 Recommends: ghc-doc, libghc-arithmoi-doc, libghc-async-doc, libghc-base-compat-doc, libghc-bv-sized-doc, libghc-criterion-measurement-doc, libghc-cryptohash-sha1-doc, libghc-cryptol-dev, libghc-gitrev-doc, libghc-graphscc-doc, libghc-heredoc-doc, libghc-hgmp-doc, libghc-language-c99-doc, libghc-language-c99-simple-doc, libghc-libbf-doc, libghc-libffi-doc, libghc-memotrie-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-panic-doc, libghc-parameterized-utils-doc, libghc-prettyprinter-doc, libghc-sbv-doc, libghc-simple-smt-doc, libghc-strict-doc, libghc-tf-random-doc, libghc-transformers-base-doc, libghc-vector-doc, libghc-what4-doc, libjs-mathjax Suggests: libghc-cryptol-prof Filename: pool/universe/h/haskell-cryptol/libghc-cryptol-doc_3.0.0-1build2_all.deb Size: 1773144 MD5sum: 7ef1b576f5e72289f54b7ec70c87368c SHA1: 56addbcff9ad3028e63b26b882fb47566f369536 SHA256: 8e91be785c3afcf45ac9ddbaede0dab32fb219e87f0dd0fa4918bbbf3dd9a3b0 SHA512: fede999ec75fcd8668a13b9b19326d23aa1c0bba445f1c871c95c3dc230f1ddf94ec2f7672ef441a2e37f9ea855b57ec48105aa555fc4cde40314172d055b469 Homepage: http://www.cryptol.net/ Description: domain-specific language of cryptography; documentation Description-md5: a4f102dee8829f71ffaaa2898e14af77