Package: cryptol
Architecture: amd64
Version: 2.6.0-4build2
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: 15245
Depends: z3, libatomic1 (>= 4.8), libc6 (>= 2.29), libffi7 (>= 3.3~20180313), libgmp10, libtinfo6 (>= 6)
Filename: pool/universe/h/haskell-cryptol/cryptol_2.6.0-4build2_amd64.deb
Size: 2376036
MD5sum: 9eee575d99639f0de7879f96e5a0bce6
SHA1: dad49468a74a7ec7a0e3843ea5bd74d92feb9453
SHA256: 981aa62fbd9894959f65fffbb0edbf89f5d8e71e2064e4da12c0bb8fa731227b
Homepage: http://www.cryptol.net/
Description: domain-specific language of cryptography
Description-md5: b2b888d8f3c9835f0667b440ba188f99