-----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: 3.0.0-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: 4.6.2
Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-cryptol
Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-cryptol]
Build-Depends: cdbs, debhelper (>= 10), ghc (>= 8.4.3), ghc-prof, haskell-devscripts (>= 0.13), libghc-graphscc-dev (>= 1.0.4), libghc-graphscc-prof, libghc-memotrie-dev (>= 0.6), libghc-memotrie-dev (<< 0.7), libghc-memotrie-prof, libghc-arithmoi-dev (>= 0.12), libghc-arithmoi-prof, libghc-async-dev (>= 2.2), libghc-async-dev (<< 2.3), libghc-async-prof, libghc-base-compat-dev (>= 0.6), libghc-base-compat-dev (<< 0.13), libghc-base-compat-prof, libghc-bv-sized-dev (>= 1.0), libghc-bv-sized-dev (<< 1.1), libghc-bv-sized-prof, libghc-criterion-measurement-dev, libghc-criterion-measurement-prof, libghc-cryptohash-sha1-dev (>= 0.11), libghc-cryptohash-sha1-dev (<< 0.12), libghc-cryptohash-sha1-prof, libghc-gitrev-dev (>= 1.0), libghc-gitrev-prof, libghc-heredoc-dev (>= 0.2), libghc-heredoc-prof, libghc-hgmp-dev, libghc-hgmp-prof, libghc-language-c99-dev, libghc-language-c99-prof, libghc-language-c99-simple-dev, libghc-language-c99-simple-prof, libghc-libbf-dev (>= 0.6), libghc-libbf-dev (<< 0.7), libghc-libbf-prof, libghc-libffi-dev (>= 0.2), libghc-libffi-prof, libghc-monad-control-dev (>= 1.0), libghc-monad-control-prof, libghc-monadlib-dev (>= 3.7.2), libghc-monadlib-prof, libghc-panic-dev (>= 0.3), libghc-panic-prof, libghc-parameterized-utils-dev (>= 2.0.2), libghc-parameterized-utils-prof, libghc-pretty-show-dev, libghc-pretty-show-prof, libghc-prettyprinter-dev (>= 1.7.0), libghc-prettyprinter-prof, libghc-sbv-dev (>= 9.1), libghc-sbv-dev (<< 10.3), libghc-sbv-prof, libghc-simple-smt-dev (>= 0.9.7), libghc-simple-smt-prof, libghc-strict-dev, libghc-strict-prof, libghc-tf-random-dev (>= 0.5), libghc-tf-random-prof, libghc-transformers-base-dev (>= 0.4), libghc-transformers-base-prof, alex, happy, libghc-vector-dev, libghc-vector-prof, libghc-what4-dev (>= 1.4), libghc-what4-dev (<< 1.6), libghc-what4-prof, libghc-ansi-terminal-dev, libghc-blaze-html-dev, libghc-blaze-html-prof, libghc-extra-dev, libghc-extra-prof, libghc-optparse-applicative-dev, libghc-optparse-applicative-prof, libghc-temporary-dev, libghc-temporary-prof
Build-Depends-Indep: ghc-doc, libghc-graphscc-doc, libghc-memotrie-doc, libghc-arithmoi-doc, libghc-async-doc, libghc-base-compat-doc, libghc-bv-sized-doc, libghc-criterion-measurement-doc, libghc-cryptohash-sha1-doc, libghc-gitrev-doc, libghc-heredoc-doc, libghc-hgmp-doc, libghc-language-c99-doc, libghc-language-c99-simple-doc, libghc-libbf-doc, libghc-libffi-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-panic-doc, libghc-parameterized-utils-doc, libghc-pretty-show-doc, libghc-prettyprinter-doc, libghc-sbv-doc, libghc-simple-smt-doc, libghc-strict-doc, libghc-tf-random-doc, libghc-transformers-base-doc, libghc-vector-doc, libghc-what4-doc
Package-List:
 cryptol deb utils optional arch=any
 libghc-cryptol-dev deb haskell optional arch=any
 libghc-cryptol-doc deb doc optional arch=all
 libghc-cryptol-prof deb haskell optional arch=any
Checksums-Sha1:
 64254e374ff0da5ec28a865048c44fd541956e50 527998 haskell-cryptol_3.0.0.orig.tar.gz
 b0f15c8ae01f48a22a8916445aa814e616fc7a19 3768 haskell-cryptol_3.0.0-1.debian.tar.xz
Checksums-Sha256:
 844660c6a85170f3765161e15e8719c637d96b9c292f96bd455b4cb18dc5d54f 527998 haskell-cryptol_3.0.0.orig.tar.gz
 6d73384afb0dcf377112dfeb10338469939f5febf9b60670d5ef4b64feb5ff8f 3768 haskell-cryptol_3.0.0-1.debian.tar.xz
Files:
 2acb97e94b649a3ad79a5a804e3f79aa 527998 haskell-cryptol_3.0.0.orig.tar.gz
 20bc1749f3d691d4f0dd0193c873826a 3768 haskell-cryptol_3.0.0-1.debian.tar.xz

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

iQJFBAEBCgAvFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAmU3u5IRHGNsaW50QGRl
Ymlhbi5vcmcACgkQVZIzHhmdOKh+MBAAp6mC9vRdKP77BRPfKtCPuU9L0TvFFhzw
5j4bPiklwF85Bp3eumwYnHNiJ9o+zSicGlu2eKWc32KzF0MNaFHKE/y19vg/tM+D
acEHgVffLWYu5jCT/0gYgtsCB67VeCQWBH1knFWXmlh8t/opNrxYUQhxejEhlGPw
kNrUM44x8P8oEkXhyvKLxn7e+agDgKSWWlkeCKeZNWmK95FrYHCfg4I72QM/ABya
e+APC6c6jFQQRfObJJyIynZ0V1un6pIkRYW6aL7S1MltKAa3GtCcjwrngA8lsHVE
eFOwR/V1XepBzeksbQ/wxT7OHrftUtkCeSf7NVxLOEmXPMonG3j2+XASu3cDA/OL
vJ7b7MG+54mTvt80mx3BPEHZzGlmExYZw6amir23QZLP6aZOM7qWbRgpP+bl2xDM
B2yCZUgYgMSVBEO9lBevevpFxJaUBbTtwZSlslivKgvDQue19xYdCQskdGJtoJRC
09kD+4dWOOMupm9Yi41ZSEUVd5pZ/3a8PVRoEFLk1hmQ2m6V2BqkJAV9hq8+V1mm
g4ryGr/3FAOlIjm0nIaOEZ6zt3gILwmCfjQofuT+OfdLqoMu+y33zEgo/FPxRcsF
uln+yh6GiT1yUNFGZMvkjLYrg51x14riEpUPEntFBFXKMxaPGaVRjtnvyvMYWcWx
ntnrrSl1hFE=
=3EmE
-----END PGP SIGNATURE-----