Package: libghc-cryptol-doc Architecture: all Version: 2.8.0-1build5.1 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: 32018 Depends: haddock-interface-35 Recommends: ghc-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-panic-doc, libghc-random-doc, libghc-sbv-doc, libghc-transformers-base-doc, libjs-mathjax Filename: pool/universe/h/haskell-cryptol/libghc-cryptol-doc_2.8.0-1build5.1_all.deb Size: 1148914 MD5sum: e052b6764ec16bb4137befc2b49aaa6d SHA1: 13173353dc9936065067d9b95e920a25f4e06f4e SHA256: ef5dd4bf95c85288882b4640b554bbad99b018de962f3d64079c0bd630fa9882 SHA512: f03a05b15f33a0fef2fe30dd6c642b30a3026f42dd7fcd8531ea92924b8a84eab739a763d4662cb84ba520aa3567c02d3ae06df854718341d6a1ecde708d6deb Homepage: http://www.cryptol.net/ Description: domain-specific language of cryptography; documentation Description-md5: a4f102dee8829f71ffaaa2898e14af77