Package: cryptol Architecture: amd64 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: 14775 Depends: z3, libc6 (>= 2.14), libffi6 (>= 3.0.4), libgmp10, libtinfo5 (>= 6) Filename: pool/universe/h/haskell-cryptol/cryptol_2.4.0-3_amd64.deb Size: 2220280 MD5sum: 8a375eb4f5e0fa8a0ee1c7822fee6e33 SHA1: 2702f87751ac3d51fe854582685e4235028b7260 SHA256: c28327139597c591678690e5c5c09e45f21854a812ba5c9a2469b97ff6864089 Homepage: http://www.cryptol.net/ Description: domain-specific language of cryptography Description-md5: b2b888d8f3c9835f0667b440ba188f99