-----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.6.0-4
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.11), libghc-base-compat-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 (>= 7.7), 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-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:
 60fb52dd5faa7ae570b34cdd5feda2fe613bd103 363980 haskell-cryptol_2.6.0.orig.tar.gz
 e4a290a772b6a7a8a61e0c39bf181f759453a067 6780 haskell-cryptol_2.6.0-4.debian.tar.xz
Checksums-Sha256:
 5f8abbfa2765ac0f6bb887edbec7032677d107c39581a4c78614e97382738f42 363980 haskell-cryptol_2.6.0.orig.tar.gz
 ab62eb9738bd539ba1ac16884273480e72715c60eaf2e5d693f66e0d6f6e5dc7 6780 haskell-cryptol_2.6.0-4.debian.tar.xz
Files:
 e4d7753a46e26d6f446048ea794f61ca 363980 haskell-cryptol_2.6.0.orig.tar.gz
 3490df19c164a158eb37a0bec1a27ce0 6780 haskell-cryptol_2.6.0-4.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1pUCQACgkQ808JdE6f
XdnBOBAAhZLdQhgJ6yBI9cQpIeTYuJTohDEsMRwPcBJKDUAc1/gOrFRnWbtw23rR
Vmkckd3SJA9N+58isaNe15VTr7VWCJl8aMGEn9+SrQiWSTsKEJuTO+NXSGYxzffS
vaFKNZ6Zy19Wvwgo60JGeBr2ocmeWhF7WDGW86k+Jazh9BQ3d+aqOJ6OuQudT2x2
wKZkzUkyonkCWXMf7gmTzoxogqaY/phyqeNdtPE1wkqh05jp9Z55eZhucn5s43yw
uaWwFyyVn9OEKDIxSJsz1fhBZbMTc4krdvqsMqTdmD1mFIYpdnQPWola0NoAhETX
W1KmVI8rDeyue0eyHrX1ELCR4oTUacmKpY03Kqci6qmGawJ0zPbliQ+jYktS2KVa
8VqKmdoRNjXMKahfmVIoH2WQoBWKbB5m6kJNGAV8oI0fw3NCQSpYrK5yrLMDdUU9
Uq9f0Sf9nq3mF+1wOR3rQqfxs3jl7aNdjcMFX+9DmMPMg5tCTumzpLAnZH6CYmSJ
Jv54DeikOJbNgDc1NKOccMk65G1MqKVYOkdPOZ6LmrWdnu2yOcTZts19FvsH8cPa
Ii60I9GKEfA6rkOATa0mBjsdCK/l+dV3sVZH5dtw4wRs7kN1nwX4LRB34CPI/L3V
bJMa1AmoovD3dicmwGPVjNEvaAdi+B4SBVT5ulUgR88/gsFbylI=
=PHy9
-----END PGP SIGNATURE-----