Package: libghc-cryptol-doc
Source: haskell-cryptol
Version: 2.8.0-1build5.1
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Installed-Size: 32018
Depends: haddock-interface-35
Recommends: ghc-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-panic-doc, libghc-random-doc, libghc-sbv-doc, libghc-transformers-base-doc, libjs-mathjax
Section: doc
Priority: optional
Homepage: http://www.cryptol.net/
Description: domain-specific language of cryptography; documentation
 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.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
