-----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-2build6
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 302a2781d1b24b1f23bae005e386adcaaa0e7c8f 3032 haskell-cryptol_2.4.0-2build6.debian.tar.xz
Checksums-Sha256:
 d34471f734429c25b52ca71ce63270ec3157a8413eeaf7f65dd7abe3cb27014d 297287 haskell-cryptol_2.4.0.orig.tar.gz
 8f1a234993fc7b51e7368086269f32d5d6f5b3f639a1db4038d339e075517e4b 3032 haskell-cryptol_2.4.0-2build6.debian.tar.xz
Files:
 fea327044f959401ed3c5d2b5c193a19 297287 haskell-cryptol_2.4.0.orig.tar.gz
 4927d39bafc9695eaa676bea99cb0e45 3032 haskell-cryptol_2.4.0-2build6.debian.tar.xz
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCAAGBQJZb5TwAAoJEPNPCXROn13ZnVsQAJak+khA2MDxrXobfX5z5PJZ
lPKUDCPVg90Xy6R/kIjVES4e/ECmH9fNONmOga067VxRI4Z+CVaxzxjaUwmwfDMP
v++rp/0TCMEK0MgwL5jDqgGkKa+2QbFErCJgr99yjX/GpfhW5/Hxt/UxLGT8nhMF
uiPGe1HO4rQrNkwZCI97OYRgVHHfpZlsTcgauvp4aWbcKL1/kJMVEc9nxsiSsK5O
RHQctahi32qdchazR+jis45Mu9vczr+Bz6ZS4wm3JUDdhqh0lr+tsrt0fctr3DYl
9flaR6EopLFh516y4d81JbrdsziWbE9wsGfxtDTG+sX2oKi1023YApsDLkgR+NJb
nVY/SLA18J2ahl4+SrGC7W7wBujYe/yWTIbHhIZtYOonQjJlaaBXRFc6zPjH5IeH
FEoJTpykkE+D9kpN840XqQpOlOMtINGIfJsyqoqDlkAcsaZsqj26K4EBK+ZC45VQ
Z8flBIOTcQiNl3J9eEmxyFXhEQdZQcFGd1EU9MuaocWBCSdVTQIVd0eukeYG2UAn
5dX1/JlcqUTQt1Q8LPzpTyDRngMCb+jzZfdF16NpV0TWasmVAgb8y8AulkRdQ6CU
MiS1pbTPLrG5CleqWJtBgRkLN5gefJsewBmGCJK0PzTVTRCdR1yMQs+aVYgJf0PR
9j+/LEQlDRS9Hp4IJoou
=8kbi
-----END PGP SIGNATURE-----