Package: cryptol
Architecture: i386
Version: 2.4.0-3
Priority: extra
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: 11775
Depends: z3, libc6 (>= 2.12), libffi6 (>= 3.0.4), libgmp10, libtinfo5 (>= 6)
Filename: pool/universe/h/haskell-cryptol/cryptol_2.4.0-3_i386.deb
Size: 2218976
MD5sum: 4c501ed27be196adc42f5465473b1a89
SHA1: 84962fdbfce985f6de3d4cb81a8a5a13ec855546
SHA256: a34b7854755df9fd4c25804408af2eeeaa5e1d638e042bc2e14dbb1906eef520
Homepage: http://www.cryptol.net/
Description: domain-specific language of cryptography
Description-md5: b2b888d8f3c9835f0667b440ba188f99