-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: haskell-cryptol
Binary: libghc-cryptol-dev, libghc-cryptol-prof, libghc-cryptol-doc, cryptol
Architecture: any all
Version: 2.2.6-1
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.6
Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/
Vcs-Git: git://git.debian.org/git/pkg-haskell/DHG_packages.git
Build-Depends: debhelper (>= 9), haskell-devscripts (>= 0.9), cdbs, ghc, ghc-prof, libghc-graphscc-dev (>= 1.0.4), libghc-graphscc-prof, libghc-quickcheck2-dev (>= 2.7), libghc-quickcheck2-prof, 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-heredoc-dev (>= 0.2), libghc-heredoc-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-random-dev (>= 1.0.1), libghc-random-prof, libghc-sbv-dev (>= 5.7), libghc-sbv-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-utf8-string-dev (>= 0.3), libghc-utf8-string-prof, alex, happy, libghc-ansi-terminal-dev
Build-Depends-Indep: ghc-doc, libghc-graphscc-doc, libghc-quickcheck2-doc, libghc-async-doc, libghc-base-compat-doc, libghc-gitrev-doc, libghc-heredoc-doc, libghc-monadlib-doc, libghc-old-time-doc, libghc-presburger-doc, libghc-random-doc, libghc-sbv-doc, libghc-smtlib-doc, libghc-syb-doc, libghc-text-doc, libghc-tf-random-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:
 3aa096f7822858c60545875614f725af0954296a 2568 haskell-cryptol_2.2.6-1.debian.tar.xz
 5ab490df95497ba5484d2948173b7c3adfd6271a 220825 haskell-cryptol_2.2.6.orig.tar.gz
Checksums-Sha256:
 25eb417ae5dd9a9d4cc74105357a8f3a292c6055d49aac984fe0d62b1d0ceee9 2568 haskell-cryptol_2.2.6-1.debian.tar.xz
 8fb05368e34f78b5c3872ff7b495bd3d4c21e9de7a0d72fc07cc79f93dc18cf3 220825 haskell-cryptol_2.2.6.orig.tar.gz
Files:
 a15a63a32fd81bde74550c8c49791b9e 2568 haskell-cryptol_2.2.6-1.debian.tar.xz
 21452b671bd93e16bc85bc3a47a514c7 220825 haskell-cryptol_2.2.6.orig.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2
Comment: Debian!

iQJ8BAEBCgBmBQJWgbkfXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4AAoJEFWSMx4ZnTiobFMP/irylMsd2ldZYrbhM0dEmJ0z
9GZS0i6RgE/EbNhMIdc4uTfDt87h5Nzn0YEbndCHJoafp69gJ+8ocOTUio5E1/DD
AYMzqkPrTsmgc5YirRpjey8hpa/NRDoM5q32a517B0W8MH5wB5QmxdgsO0GAWRD9
y8Ts0l4uQIR9fC4//DFPelL63PLB85yK04A6+cVTaBoK42VpoLP7OJmzc9EROPjp
7tyhMFIWj7ZNmL44pJtleRGETkwKJAHPgzTm/XHQF1Ff7ufO7NxSE74zufM/uDxf
m1oKX31i+d/CjGq8qUzvFCIJ4TQor2x0PwJxqhr4esNYtTLH/JSdgrXSDCTGpqMi
Vo+Phd6o7RBWeVDGztNeFDZQkms+zZpr4v0S/5dYTERk4ozcGe4UPi7mECMFj/Rg
8BawFTERnfLv6ytiKAtLLXk9LlY05b9e6bI5PvvCb7ShYOuETsJvPgxp+576Vee1
x0P3XVkpXCwWZyNLvtzqWAJ3cGrpOYNsl0qNU7A433orhwdz/Hki55pkbCMD1Xnz
S9JY3N/a2lwirNwSOOBN01TokzvbxOrADwXDlQqPInvu2EL85aPDQBu8BFcx0CcA
pT2lwgMollS15LW7hKf82z6F11CnoDefgAzxyV8VA5XKXgo45KRd0j7abNhSspAY
v4ysph4PYGHkdgQSDZB6
=1j1Q
-----END PGP SIGNATURE-----