-----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.4.0-3 Maintainer: Debian Haskell Group Uploaders: Clint Adams , Homepage: http://www.cryptol.net/ Standards-Version: 4.1.1 Vcs-Browser: https://anonscm.debian.org/cgit/pkg-haskell/DHG_packages.git/tree/p/haskell-cryptol Vcs-Git: https://anonscm.debian.org/git/pkg-haskell/DHG_packages.git Build-Depends: alex, cdbs, debhelper (>= 9), ghc (>= 8), ghc-prof, happy, haskell-devscripts (>= 0.13), libghc-ansi-terminal-dev, 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-graphscc-dev (>= 1.0.4), libghc-graphscc-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-quickcheck2-dev (>= 2.7), libghc-quickcheck2-prof, libghc-random-dev (>= 1.0.1), libghc-random-prof, libghc-sbv-dev (>= 5.12), 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 Build-Depends-Indep: ghc-doc, libghc-async-doc, libghc-base-compat-doc, libghc-gitrev-doc, libghc-graphscc-doc, libghc-heredoc-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-old-time-doc, libghc-presburger-doc, libghc-quickcheck2-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 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: 032314eaf42c9b8862f2235dd050b00a32afcd04 297287 haskell-cryptol_2.4.0.orig.tar.gz f08f5fec19716660d52b205c47d93ac380ea0da8 2956 haskell-cryptol_2.4.0-3.debian.tar.xz Checksums-Sha256: d34471f734429c25b52ca71ce63270ec3157a8413eeaf7f65dd7abe3cb27014d 297287 haskell-cryptol_2.4.0.orig.tar.gz e753fd720a1884950f24d182a4759d79dc9deb59af499a8a472855ad2c779ab8 2956 haskell-cryptol_2.4.0-3.debian.tar.xz Files: fea327044f959401ed3c5d2b5c193a19 297287 haskell-cryptol_2.4.0.orig.tar.gz 5f9d7d2c9dc73e2bd9261be5481918f6 2956 haskell-cryptol_2.4.0-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Comment: Debian! iQKTBAEBCgB9FiEEdYHsh0BT5sgHeRubVZIzHhmdOKgFAloF8+NfFIAAAAAALgAo aXNzdWVyLWZwckBub3RhdGlvbnMub3BlbnBncC5maWZ0aGhvcnNlbWFuLm5ldDc1 ODFFQzg3NDA1M0U2QzgwNzc5MUI5QjU1OTIzMzFFMTk5RDM4QTgACgkQVZIzHhmd OKicCA//fPiUMfwyiGCKBp3RkTe5GfzmaeYiZ7uT3QGqweDji5GIr0xV8uEyFLVJ 2jBq1X0V64sLOeuEPwAU8kXPCuWBAJ1/QeZnGimr/nNOrKtq/Iy1dU+uaXpwOnoS OiBW9r0Ywe7GTZzb9qW+MmYjwGFM5s6Ukg88/YdSd/ZGHnQtswLC54HeTg7uJnTE 1CiZVs53cA8bQyCyPHIpYbN4xChLuJEUpvGPdtI7q8MJdrJM0Jq8t147VjBy/Q7g UH3+DjxG4dKqpS15XkxFH0j6A3VdN/JoI6qPQo4xAIks+XHyx2R4n15W/BgrAabV u9lSzagEIYH1LzgswTseTSy75Orb6+gIjQp7aZWxTDI9zPbgJF7ah3Pbd8W32uev uFj7byJlJ37BWgM1xGvSK1LfiLgQm3fozb2yGyXpb7a7B8JxxiBWQ6CGAo+74CWJ ixe+MApd2vjWyqWSaEu/tgFHC658x3UzPL2xXeBExrsK7A7PadYBkRLdkpo7qbb8 dHCG/clEOTpGlDSS+zd8/K8RMOIM8JsySf1s2tBCoIdH40XA7a10hbVC9gbipwLM 8N41obgtxekfVKyOzleqJJcP+Rg61X31j3UqY1ju96RHhAMwnXVIVIeAoV8d1Nd5 I1lmkNKRgXY7vffudmpQPzUAkBNNAstd3LxlpOzMNgGUynsH1ic= =2+cQ -----END PGP SIGNATURE-----