Package: cryptol
Source: haskell-cryptol
Version: 2.4.0-3
Architecture: i386
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 11775
Depends: z3, libc6 (>= 2.12), libffi6 (>= 3.0.4), libgmp10, libtinfo5 (>= 6)
Section: utils
Priority: optional
Homepage: http://www.cryptol.net/
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.
