deb_control_files:
- control
- md5sums
deb_fields:
Architecture: arm64
Depends: z3, libc6 (>= 2.34), libffi8 (>= 3.4), libgmp10 (>= 2:6.3.0+dfsg), libtinfo6
(>= 6), zlib1g (>= 1:1.1.4)
Description: |-
domain-specific language of cryptography
Cryptol is a domain-specific language for specifying cryptographic
algorithms. A Cryptol implementation of an algorithm resembles its
mathematical specification more closely than an implementation in
a general purpose language.
Homepage: http://www.cryptol.net/
Installed-Size: '70459'
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Package: cryptol
Priority: optional
Section: utils
Source: haskell-cryptol (3.0.0-1)
Version: 3.0.0-1+b3
srcpkg_name: haskell-cryptol
srcpkg_version: 3.0.0-1