Package: cryptol
Priority: extra
Section: universe/utils
Installed-Size: 10154
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Architecture: i386
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_i386.deb
Size: 1887946
MD5sum: 3257c0c969e46dc3c95a323381c04491
SHA1: 912dd44745d2721aad83a20cea265f36e1de32d1
SHA256: 9b8fbe53fdc60834b472abfa8e636e442e3773a6a169bcddf52d4e8bfd1f9178
Description: domain-specific language of cryptography
Homepage: http://www.cryptol.net/
Description-md5: b2b888d8f3c9835f0667b440ba188f99
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu