Package: cryptol Priority: extra Section: universe/utils Installed-Size: 12684 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Architecture: amd64 Source: haskell-cryptol Version: 2.2.6-1build1 Depends: libc6 (>= 2.15), libffi6 (>= 3.0.4), libgmp10, libtinfo5 (>= 6), z3 Filename: pool/universe/h/haskell-cryptol/cryptol_2.2.6-1build1_amd64.deb Size: 1873832 MD5sum: a7f58daf01af8fd0972e09f649d6dfef SHA1: bc550bcbcf56a7527be4bdc980fd447a3db485ee SHA256: 4676a296ca735653603d01ce6f01c03b52c02dc64b9bd33fcd1d378586d188b1 Description: domain-specific language of cryptography Homepage: http://www.cryptol.net/ Description-md5: b2b888d8f3c9835f0667b440ba188f99 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu