Package: libghc-cryptol-doc Architecture: all Version: 3.0.0-1build1 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-1build1_all.deb Size: 1773046 MD5sum: 5681921b1b69f9dde888fdfa8197c630 SHA1: 47f3c8e99e2bf4a8be619ae79d88221789ed83b3 SHA256: cbb73249d58e3aad465ed17d60fa822469ab9de2efa53888ecf6d1213f589ffe SHA512: 28e10e53eb56e21ca9b2f94b33fb11a62aeb5b1ffe68fd8fbe644dc5a853985539c9e561849f5c3a62c772cb171be184cf62f80036639371f9bbf17bf736635d Homepage: http://www.cryptol.net/ Description: domain-specific language of cryptography; documentation Description-md5: a4f102dee8829f71ffaaa2898e14af77