-----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.8.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.1.4
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-base-compat-dev (>= 0.6), libghc-base-compat-dev (<< 0.12), libghc-base-compat-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-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-random-dev (>= 1.0.1), libghc-random-prof, libghc-sbv-dev (>= 8.1), libghc-sbv-prof, libghc-simple-smt-dev (>= 0.7.1), 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-ansi-terminal-dev, libghc-blaze-html-dev, libghc-blaze-html-prof
Build-Depends-Indep: ghc-doc, libghc-graphscc-doc, libghc-base-compat-doc, libghc-cryptohash-sha1-doc, libghc-gitrev-doc, libghc-heredoc-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-panic-doc, libghc-random-doc, libghc-sbv-doc, libghc-simple-smt-doc, libghc-strict-doc, libghc-tf-random-doc, libghc-transformers-base-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:
 be32c043894df27d9623dc4f8a2519d800926571 330434 haskell-cryptol_2.8.0.orig.tar.gz
 a576d4bad43df907912ed9305236b43f8f8fde42 4512 haskell-cryptol_2.8.0-1.debian.tar.xz
Checksums-Sha256:
 b061bf88de09de5034a3707960af01fbcc0425cdbff1085c50c00748df9910bb 330434 haskell-cryptol_2.8.0.orig.tar.gz
 0c51e7f638433ffe8fa08567c0659f71b5a1a13619d45f4c95ff71e67b3b0936 4512 haskell-cryptol_2.8.0-1.debian.tar.xz
Files:
 928bae0363138070b7a7fc9cdbdc9ee8 330434 haskell-cryptol_2.8.0.orig.tar.gz
 f7c6ffd76f415753ce86b9b547c64b45 4512 haskell-cryptol_2.8.0-1.debian.tar.xz

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

iQJFBAEBCgAvFiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAl8JAf4RHGNsaW50QGRl
Ymlhbi5vcmcACgkQVZIzHhmdOKj6RRAAh6r/6EViDCV4OqjIh2gRQWX6ZhWpmoIl
QIp4NiE7pe+ZFSGQnxSyrV9gywpRJMSwONmcGUhKIABr0yM3YHzqEhxnQFU13zHZ
MjqId5qx2CzKRNWDv6/kn1jyLmvrxeGUzWrqX9PvZcnPJZZ0aTFqJIQ+zw6LB5pg
8W2++E62qd3h1UoJzxP21eE+5LxqMZOqugTg/PhH2AEHJUNOW7WZ9FXW5NMCOOMm
7qqbohPNrfHT5TfYBzEP2ceM/gxgMhMoNs28rHwLfV0NZfAN4f8S8UmKco952Add
CTTHzvCnIyDMWFf+NSr0MmZS1OWfqMwBv9CxF3g47aT8x2pQypL3Wc1cadecJdxC
WAsUmpqfZ2YbiU8FY6kthuDw/l8XEHAl9+/6qcsszGGCczqa6c/3E0g/0YeeTzFp
9vVzXUPw3HxjJOD1KK2Zl0h0WifNwCeVfvqh+RraGX2Fg6Rxee7GZ3UZol7Kq3i6
X4goripA8t4mMlMwhiD1d/t0umHa71gqInNlSQN843jtOgIa5GSOINEqU1010/99
xWjujwHi72iElHUFN8JIH/LBq6LClwNIiprk1kf23F/ClB2+zhTXPl5NSGuBtOD2
DGgg850I7oxvu5gQ/cKXBaoGFHir4/9rleFWWY2v7kLGIekLf0LtlOz0EXNLPojR
PRLUUwWxky4=
=RpTe
-----END PGP SIGNATURE-----