Package: cryptol
Architecture: amd64
Version: 2.8.0-1build5.1
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: 17979
Depends: z3, libc6 (>= 2.34), libffi8 (>= 3.4), libgmp10, libtinfo6 (>= 6)
Filename: pool/universe/h/haskell-cryptol/cryptol_2.8.0-1build5.1_amd64.deb
Size: 2913632
MD5sum: 54583f26397e5738e048b2202f3d876e
SHA1: 98996632660d14ee46d71c8bb77e3b6bf1dd6cdf
SHA256: aaf71b71bebe0e491a8240cabf2ef9ae74e1590cfeec6059cc46ee5d98e739a6
SHA512: ab4233f66282f76bb0a16cd2c259cfa8086ac15379d9ac049ee14e8d79879b19335fbb275cf77e05bdded6b6eb69699918b45d3e689a71cea65b5a604eaf80e9
Homepage: http://www.cryptol.net/
Description: domain-specific language of cryptography
Description-md5: b2b888d8f3c9835f0667b440ba188f99