-----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.2.6-1build1
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:
 5ab490df95497ba5484d2948173b7c3adfd6271a 220825 haskell-cryptol_2.2.6.orig.tar.gz
 6942bc7b34644fa4960020bd15510165c8b82533 2628 haskell-cryptol_2.2.6-1build1.debian.tar.xz
Checksums-Sha256:
 8fb05368e34f78b5c3872ff7b495bd3d4c21e9de7a0d72fc07cc79f93dc18cf3 220825 haskell-cryptol_2.2.6.orig.tar.gz
 32a45fbecc72c65f22a40aaf201e9ae76261ab66dcbfdffdf293d4e709ad649a 2628 haskell-cryptol_2.2.6-1build1.debian.tar.xz
Files:
 21452b671bd93e16bc85bc3a47a514c7 220825 haskell-cryptol_2.2.6.orig.tar.gz
 598a17089929784aed44faffdf3ecfb9 2628 haskell-cryptol_2.2.6-1build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: Colin Watson <cjwatson@debian.org> -- Debian developer

iQIVAwUBVpfNujk1h9l9hlALAQj6VA/+II9oLXV+wbHWqu70PYB0pXZf23GIwMca
fstEJSt7LtnnU6qE/zkM3xLaEdhBUZxyKe/rEmypXXiq+aD3VFKbzfnaxsBXUF/D
gmnTKM8IxId5xzQsD9aRyXfR6atmdVVqMH68mBJcor6StyzhdFP8sPmC4tJEKBE9
o6Dg+6azkqe1zM3j8RhQ+sGjvpZHE2cHu8m6TGVFMQHtqgYdHNGqHafKMmHYBKM7
RHf9FItFDDG1amawTYliBAAyzdh9GkRhcHf0zrUjpcnNgs6MfQdp/xVsSnRYjzt9
gZumFkI8eDOOyvU3innNAUBpzrLKdiJsMgQ2V4x4p+mOsStlXet1XA0fYkgTI3qq
6o8UalFOIGd+xTNn5UW3d6KlGx8U0LDjeraN5YAL9/gbehVdQRQ1ccpe429jJqyT
AEr/jBS83agcI6qHXv4Hmxvf9vGZeK/2Fapg7cKjrEPpnDg1sLprQhxH8yfXpLej
lMU1o19vvKJMMwSveu+1tnMpq322TakuYLMVlw34Z47Ro6h7W+U44hElGOTiMjZ3
zRNIBjxDyXfqXXwDM9M/DIu+oZCWsiFb3drB3hDcf52GJcYj3NTvoYj7IemoRiQP
++sgf3BjvRqV1dA5ELejRPqOz2TmzatBjQkFWzbmAELV1UL1HIdp6l4C4j4p6A+X
JAUq0clv4FY=
=0Mld
-----END PGP SIGNATURE-----