-----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.3.0-1build1 Maintainer: Debian Haskell Group Uploaders: Clint Adams Homepage: http://www.cryptol.net/ Standards-Version: 3.9.8 Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/ Vcs-Git: https://anonscm.debian.org/cgit/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-deepseq-generics-dev (>= 0.1), libghc-deepseq-generics-dev (<< 0.2), libghc-deepseq-generics-prof, libghc-generic-trie-dev (>= 0.3.0.1), libghc-generic-trie-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-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-simple-smt-dev (>= 0.6.0), libghc-simple-smt-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-transformers-base-dev (>= 0.4), libghc-transformers-base-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-deepseq-generics-doc, libghc-generic-trie-doc, libghc-gitrev-doc, libghc-heredoc-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-old-time-doc, libghc-presburger-doc, libghc-random-doc, libghc-sbv-doc, libghc-simple-smt-doc, libghc-smtlib-doc, libghc-syb-doc, libghc-text-doc, libghc-tf-random-doc, libghc-transformers-base-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: 7f56e6da71f9fd1409b53e912edece53a3959b5b 264714 haskell-cryptol_2.3.0.orig.tar.gz c40f9de4d660c246175886917d2f814df429eefa 2844 haskell-cryptol_2.3.0-1build1.debian.tar.xz Checksums-Sha256: 403577bb14a3ebb5683b2221d9b424ff53b8e8faddb64b27f47a6b00414138ce 264714 haskell-cryptol_2.3.0.orig.tar.gz c387ca41b4afab43645a54b16df7f2ea9c816ab512520829299b2b2326c60321 2844 haskell-cryptol_2.3.0-1build1.debian.tar.xz Files: 424c6c4d3641b708d5288b90b8a9b350 264714 haskell-cryptol_2.3.0.orig.tar.gz e5220dd0257c150a0574896b15b5502e 2844 haskell-cryptol_2.3.0-1build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: Colin Watson -- Debian developer iQIVAwUBV3OR3jk1h9l9hlALAQjFLhAAsVgN3GJY9zt/4EkPy6JsZ5Twyd8G4hlT vCkpZwRQxVWD+Glk5iShUoaXiaoXP9sivfGcEhwsS4wkYDIi8oY2k75zJp41N6C0 mBL+lR+XAOM5CtuzMzBzFEmHdLiH3nVJLXbYinhLQEg09n/jtqNWXoThpGPyON/+ e2em4sLAsxYJDrsOqj3DfoUFov+sF9zppPmrBXAJwh5eZfhCwtmXl4tgBtYQy6nx myh/hr/+GAt2b1WIqgsBBk+SAgb521BL9H7/oN1xtlBcAuE6uqF8tjYHHHkwhUKv xFU2W66ANx/jgURK3hm4cL0ZAGLuaPWDzZKO+HtVijDzuvVkqh10YvhtJZXSPl/K ap99sdMMzock4IFdVEf5LWhX/bqVa09G42G6RStvgJnhYBSOjidXsnPLNyVdaBRH 6439q6ClVkQdNJdX+i8fpvM8ZHEulje7pwOfkIrXrxpU9kxztiE5rrOIIwLymtbB gMNAFGZmq0vmVdXJuE7DrwsARn8T6JK6GlqM3ctCru1j+n7liHY9c3Xjp1BZyyt4 cxyf6eb9GnR3FTXxWlseXVDR1Hlp8fILPakPE369B0p1+f4XiytcTSkNhV6jaEfP ln2VbhsIZYwuzw7zdsyanZgwQz4eeWNoZHAgrUGzN7FwA4ps77L9Pjt9Xel0DXzN WSnRwdlw/kg= =h6LB -----END PGP SIGNATURE-----