Package: cryptol
Architecture: amd64
Version: 3.0.0-1build2
Priority: optional
Section: universe/utils
Source: haskell-cryptol
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 61274
Depends: z3, libc6 (>= 2.38), libffi8 (>= 3.4), libgmp10 (>= 2:6.3.0+dfsg), libtinfo6 (>= 6), zlib1g (>= 1:1.1.4)
Filename: pool/universe/h/haskell-cryptol/cryptol_3.0.0-1build2_amd64.deb
Size: 9868716
MD5sum: 1005a71e84f3f20b281810ab8a13af78
SHA1: 2a841968e11f0c495ccd57f879164844da441d35
SHA256: 88d918229c90a7f4ee740da30d7c36f481c8497c2ef019f779388d0342278a7c
SHA512: 75b5ca15db3acf491e5afd348975fe5e21b7f950bc02567b4814afa7b0b737d7c169f76a170e09d8cc03194a8b6b3f011e1717240bd235af7a8e30c8d7ca269f
Homepage: http://www.cryptol.net/
Description: domain-specific language of cryptography
Description-md5: b2b888d8f3c9835f0667b440ba188f99