-----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.5.0-1build4 Maintainer: Debian Haskell Group Uploaders: Clint Adams , 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 Build-Depends: cdbs, debhelper (>= 9), ghc (>= 8), ghc-prof, 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-mtl-dev (>= 2.2.1), libghc-mtl-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 (>= 7.0), libghc-sbv-prof, libghc-simple-smt-dev (>= 0.7.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 Build-Depends-Indep: ghc-doc, libghc-graphscc-doc, libghc-quickcheck2-doc, libghc-async-doc, libghc-base-compat-doc, libghc-gitrev-doc, libghc-heredoc-doc, libghc-monad-control-doc, libghc-monadlib-doc, libghc-mtl-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 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: 16971d0311da208b77da6225026014d4eb2b798a 337123 haskell-cryptol_2.5.0.orig.tar.gz ba109a98ca50658af668f8de84465b08130a59c8 3144 haskell-cryptol_2.5.0-1build4.debian.tar.xz Checksums-Sha256: 910928617beb1434ad5681672b78ede5dda7715b85dcb8246fa8d9ddb2261cf1 337123 haskell-cryptol_2.5.0.orig.tar.gz 85b2f94ba7ec498c583a5d3968f0eef3b2f0f1001ce92f57a30115b985513515 3144 haskell-cryptol_2.5.0-1build4.debian.tar.xz Files: 8ab4f20887f2d9cbd80f4a57154b50a3 337123 haskell-cryptol_2.5.0.orig.tar.gz be6f3122abeecb9f244206eab78704ad 3144 haskell-cryptol_2.5.0-1build4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAltWr7cACgkQ808JdE6f XdmjCxAAy4o2oxgYyjrx2JXaghi7RC/GQwAgtxrpi7xMrg/c4pb39fd9mRjD9aJ/ 9873TwPDVl8EU2dYjbeUCVTTvnd1usXFPtZwM0AWYN3YnoAxsIwlzq9qj9iVlUz/ IKAR9X8zNBEgmNvvQjbIMSPhIn8rVHn0wjxUrAUxd4xfBwEiNcz7LiqEiJo3F4pn AmGXnpgqgv2kAqYafnIt8NLH2xK0xPt71TuPtwXRG75bg+hwaKJGjnaLrCGB8vZP zYXVeoLlu1/2Ik8aKRWiJGDAtSIbTfg01Z8K63s5VxU7QYACkyjiQup14pM8/6Zv 8628IVGFgHn23lRblZPgda+bLOrbJqS5V2vhz6ouX1Dj/hryVGsIC/gMm3Ut9egl TKYlmi7AlFOXzyERGjQAAQpKsx9qrQrnOLsr+dwGSJe6LE/QTeSoxrno2ctWgDeD mNJspks8Z7P9B4P59b7I88xsAdDAySzHr/g9ZfkmAlAV+Vl8Wn7j7BHGsHL5cGDu 3SK3mQHf9eq3qY7+aC7FKbcnVVASEhsUCWQxaVFXa95QRazHYb2I8LHIuJSqC53b RJPqyLxo8ZIdb8K94dw1WAmkJFfF6EmugDrg3L6jv9KDxbWgkliM8vV2IpLYR0gh 5emCdAi583iSav5HJi8AyLlt/P5FNpkCKaXaVC02wI2XLN0/JeU= =azmw -----END PGP SIGNATURE-----