-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: haskell-cryptol
Binary: libghc-cryptol-dev, libghc-cryptol-prof, libghc-cryptol-doc, cryptol
Architecture: any all
Version: 2.4.0-2build2
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders:  Clint Adams <clint@debian.org>,
Homepage: http://www.cryptol.net/
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-cryptol
Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git
Build-Depends: alex, cdbs, debhelper (>= 9), ghc (>= 8), ghc-prof, happy, haskell-devscripts (>= 0.13), libghc-ansi-terminal-dev, libghc-async-dev (>= 2.0), libghc-async-prof, libghc-base-compat-dev (>= 0.6), libghc-base-compat-prof, libghc-gitrev-dev (>= 1.0), libghc-gitrev-prof, libghc-graphscc-dev (>= 1.0.4), libghc-graphscc-prof, libghc-heredoc-dev (>= 0.2), libghc-heredoc-prof, libghc-monad-control-dev (>= 1.0), libghc-monad-control-prof, libghc-monadlib-dev (>= 3.7.2), libghc-monadlib-prof, libghc-old-time-dev (>= 1.1), libghc-old-time-prof, libghc-presburger-dev (>= 1.3), libghc-presburger-prof, libghc-quickcheck2-dev (>= 2.7), libghc-quickcheck2-prof, libghc-random-dev (>= 1.0.1), libghc-random-prof, libghc-sbv-dev (>= 5.12), libghc-sbv-prof, libghc-simple-smt-dev (>= 0.6.0), libghc-simple-smt-prof, libghc-smtlib-dev (>= 1.0.7), libghc-smtlib-prof, libghc-syb-dev (>= 0.4), libghc-syb-prof, libghc-text-dev (>= 1.1), libghc-text-prof, libghc-tf-random-dev (>= 0.5), libghc-tf-random-prof, libghc-transformers-base-dev (>= 0.4), libghc-transformers-base-prof, libghc-utf8-string-dev (>= 0.3), libghc-utf8-string-prof
Build-Depends-Indep: ghc-doc, libghc-async-doc, libghc-base-compat-doc, libghc-gitrev-doc, libghc-graphscc-doc, libghc-heredoc-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-old-time-doc, libghc-presburger-doc, libghc-quickcheck2-doc, libghc-random-doc, libghc-sbv-doc, libghc-simple-smt-doc, libghc-smtlib-doc, libghc-syb-doc, libghc-text-doc, libghc-tf-random-doc, libghc-transformers-base-doc, libghc-utf8-string-doc
Package-List:
 cryptol deb utils extra arch=any
 libghc-cryptol-dev deb haskell extra arch=any
 libghc-cryptol-doc deb doc extra arch=all
 libghc-cryptol-prof deb haskell extra arch=any
Checksums-Sha1:
 032314eaf42c9b8862f2235dd050b00a32afcd04 297287 haskell-cryptol_2.4.0.orig.tar.gz
 abef105ae9ff5de6d3b8667bd8077773f7e2317e 2908 haskell-cryptol_2.4.0-2build2.debian.tar.xz
Checksums-Sha256:
 d34471f734429c25b52ca71ce63270ec3157a8413eeaf7f65dd7abe3cb27014d 297287 haskell-cryptol_2.4.0.orig.tar.gz
 9f51c758f595b797618bc03d2f1b67486c28132c6f102b0c704e12daeb10a796 2908 haskell-cryptol_2.4.0-2build2.debian.tar.xz
Files:
 fea327044f959401ed3c5d2b5c193a19 297287 haskell-cryptol_2.4.0.orig.tar.gz
 2c68268a6daaa9f38c5613c3334bf116 2908 haskell-cryptol_2.4.0-2build2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJYiyzqAAoJEPNPCXROn13ZbJwQAN5NyVBsMAhF1V2krDIzsKK4
QXgLJEYm/NSc5KHm+9bLOedNgpjJn6DUu2/M3w1LvmsedjspiRaeXOonDBaewExF
X2m2aXZxr03m2xd2yJL3Ki0D42n7ir3KtAtm0OIswSIhc8JKC9HvuHtXKVk+s0j/
qXxTPxfVAVqaQTXesc5dgdYvyFNc8aYGIwjEdqGNc5PZtAG7MRGZVtQOVXbolWFE
YkW+eyX5HrRMwpc7JDFDpQ3RAlTFD5VHNQpcvpEtv1Sx+snFW9zZU0MtE60wJktz
H0SJGSTKvPOhOSEIceK8dmMj4r2zOMe5oG9+BNaXqlla7Ai/wghnkYNw/uhfegzL
YVLHV6aEX5QP1otCbplbIOeOKpyUD+098u0JVyaGlXUxSbWgkokZgfDsLlfRlJYr
R7iKEjhTQWGNBreSIC1XUdCc3y2QLxrd3RXGdGn9JlzQjnnge5jHRY4DjW5Yvkf3
s8ZbtgR/a06kRJT2faFM38VK3kCW68qdIvz0/T2JFuS5wN+XWBZKD60Jad4Meeyv
tECcB86ADONoD5E5t0tioYyDeacZ+ziSOyOX6IH7JGwECVdmcsWOZXivGqaRKLqh
JOE45nKpRo4utu42gjWVustJfJmP5jDa/GkdAQNHPOUURXfuAMbLWJp5rEXg28m4
3sHHEHGmXoICvOQnUl9M
=+jql
-----END PGP SIGNATURE-----