Package: cryptol
Architecture: amd64
Version: 3.0.0-1build1
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: 61278
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-1build1_amd64.deb
Size: 9864078
MD5sum: 5da8ea4872769c89e96a47bc25a24d3d
SHA1: e1874032826205a1ae88084c4873a2ed774c4ddf
SHA256: 09da7824ff4a6f12e5e932b2cf4e5d4acd0d3db1a5a5ee77ac91248c752f5434
SHA512: 9cf2270b0f7ac6a463f3791564b74de93aca00a09e67874c4bd5c6989ea20cfb1d506e202b3ba8319acc3b4bcd291520455e97db13b09c7a27f1396cfeb907f9
Homepage: http://www.cryptol.net/
Description: domain-specific language of cryptography
Description-md5: b2b888d8f3c9835f0667b440ba188f99