-----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-4build2 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 [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 70154ba50b89ad6b4f724cc60108902e0d8ebf09 6888 haskell-cryptol_2.6.0-4build2.debian.tar.xz Checksums-Sha256: 5f8abbfa2765ac0f6bb887edbec7032677d107c39581a4c78614e97382738f42 363980 haskell-cryptol_2.6.0.orig.tar.gz a871927013ed86e6657ee145e70cab256a08cfcecb04fd9529aaef0bf7324111 6888 haskell-cryptol_2.6.0-4build2.debian.tar.xz Files: e4d7753a46e26d6f446048ea794f61ca 363980 haskell-cryptol_2.6.0.orig.tar.gz 24578ea1ea139ac4d4356a62518b4d76 6888 haskell-cryptol_2.6.0-4build2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl4+nTwQHGRva29AdWJ1 bnR1LmNvbQAKCRC9fqpgd4+m9fZJD/9P5tBv86fTQ3Pm5cWaQbqiMuFVAXflTIcT GbDF96dgvyiYbneBtflbUT48S2bUt5SyzyIs4/AXoLqwvzn0VBJYXiGLffF3cnR5 EiW7T2DDzd7m0tccSSXLF3kGE0RGod745lH+HpVtsdBvcbdco7Y05aUSiwuinoOr t09w+qI59x1gHlewU+EZBHnjjgG58Y7FbeSGSKCiotCG84THgiVKNYMpalzCHQYG XzhpkiAElSvidHEq1Zug4TYTC+v/bRcm2pkOX+MDW1du2pXgoTVsi2c/6r1Nrd/0 nbZqjxDFv5AsCRTxR7yyQFnLTuvE3/s6OGzL0IiXpzZD0R3+mVI3DKvewKAz+QLr BJsesR+lwV65MmyetiFwQJCsHxU/JfA0E9f3RyQTccn+bi5YM8eTe6NVmjYKKvVf vsbJQluOD8oBPqKvnaD/VxfkL6CiLgCYpAXA/Xo64H3QO8LRGuyZolDQ7n3Jb2rf 7mMMfQBN+mbpSy1H6xpJKhBKW5lLkkYUoHsQz3diPo5EZLYFtwOhPo5+665RNssc svpVJ+8z1w6CGfrz58IR5eh1/78nefoedCvo+s9E1Wndg3OSXqFfz1TUhiK2S5Zp dhEGzZl7fqdJwaEMEXTy2Vi2b7bUx12LYZomAZ2ETx5s7YSUFueer121VX97SWwZ TvKXwJCslQ== =6VJ9 -----END PGP SIGNATURE-----