-----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-1build4 Maintainer: Ubuntu Developers 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 [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 c76179f8ad8a06a13c41684617db0bbb5789aaaf 4700 haskell-cryptol_2.8.0-1build4.debian.tar.xz Checksums-Sha256: b061bf88de09de5034a3707960af01fbcc0425cdbff1085c50c00748df9910bb 330434 haskell-cryptol_2.8.0.orig.tar.gz 752fb767b092a2398a19c87cd0a0512f4fcd8e502768e3e2274ba8268707c991 4700 haskell-cryptol_2.8.0-1build4.debian.tar.xz Files: 928bae0363138070b7a7fc9cdbdc9ee8 330434 haskell-cryptol_2.8.0.orig.tar.gz 08819b5b8152e3102910628c067898e5 4700 haskell-cryptol_2.8.0-1build4.debian.tar.xz Original-Maintainer: Debian Haskell Group -----BEGIN PGP SIGNATURE----- iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAl9G+PEaHHN0ZXZlLmxh bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz16Uw//TYl8Jp7NExsTderYF23t BKxCOpnn4G4bW5pHXxEDns+UF+ndoD7MkgmSJuW+FrMZ+iYmzZs09oKl+PsyMNej qDqeF/Em1FusYA2US5qdMMbKgv5wZum0kEcPgQRn7cFCY5sUSNa5X9No2y0t04pO VCHx4HRZsRjGWxfyV+5aPhuMfVyRCwpK+ILw0QzHApqLKVRyNVk1w8LwnM6+1sL7 Uv0ZB3ou+T8RQoFkPlsPPhKCVPw4X2/L8vBHS+zkhw48La1Rqmf8lbZlgtnbNV/i +teynIzU+pc6SjMO7WeC7lYX/EcFoWtzhty1oq80uJqzrL1iN6Et53pGQQkpsOVB 2vJHBKBxfR7LI7MjpbNWokaxc1tzT4WgElJN4+0f/4CgEENvTkYJ2/UfYomPpDhA 5qa8bqeNgEq+VjYd+MQ2ZxvHTwO2yHXXvukMJHhZ4DF9WtqjSDp0IfnLN2/2RCvg hAXJ11q8jiSmJlgEGKTLDlIynS+p6hwWM7MBD3oSQJO9KTB9a+f/Cbe0id9JZ0Hh kEct5njRNBHm2PSAkDxLEGNkK6Lwdn6pD53DVFCPX0B3eg05J4KUwJTH++rlW7eL 0WkvCzq+9ZdDV7RSbgMPsMRekP3l8UmxHpZn5TO81pAvkzySZK8sAeZ3dq/N320c RuvI1Tw0IsD/zQ1MK0aEexI= =2C2h -----END PGP SIGNATURE-----