Package: libghc-cryptol-doc Architecture: all Version: 2.4.0-3 Priority: extra 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: 12390 Depends: haddock-interface-28 Recommends: ghc-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-random-doc, libghc-sbv-doc, libghc-simple-smt-doc, libghc-text-doc, libghc-transformers-base-doc, libjs-mathjax Filename: pool/universe/h/haskell-cryptol/libghc-cryptol-doc_2.4.0-3_all.deb Size: 622376 MD5sum: 7a6d951f63d53a8998d23ba433a9128e SHA1: 46481be6c1ad82755e1bfc24b662d11cc31d38d3 SHA256: 34e1efe1ea81d377d7f97c9518f99c7a3b6b04facfe4fd04bd3bf49058ec0976 Homepage: http://www.cryptol.net/ Description: domain-specific language of cryptography; documentation Description-md5: a4f102dee8829f71ffaaa2898e14af77