-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: haskell-copilot-theorem Binary: libghc-copilot-theorem-dev, libghc-copilot-theorem-prof, libghc-copilot-theorem-doc Architecture: any all Version: 4.5-1 Maintainer: Debian Haskell Group Uploaders: Scott Talbert Homepage: https://copilot-language.github.io Standards-Version: 4.7.0 Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-copilot-theorem Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-theorem] Build-Depends: debhelper (>= 10), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), cdbs, ghc (>= 9.4), ghc-prof, libghc-bimap-dev, libghc-bimap-prof, libghc-bv-sized-dev (>= 1.0.2), libghc-bv-sized-dev (<< 1.1), libghc-bv-sized-prof, libghc-copilot-core-dev (>= 4.5), libghc-copilot-core-dev (<< 4.6), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 4.5), libghc-copilot-prettyprinter-dev (<< 4.6), libghc-copilot-prettyprinter-prof, libghc-data-default-dev (>= 0.7), libghc-data-default-dev (<< 0.9), libghc-data-default-prof, libghc-libbf-dev (>= 0.6.2), libghc-libbf-dev (<< 0.7), libghc-libbf-prof, libghc-panic-dev (>= 0.4.0), libghc-panic-dev (<< 0.5), libghc-panic-prof, libghc-parameterized-utils-dev (>= 2.1.1), libghc-parameterized-utils-dev (<< 2.2), libghc-parameterized-utils-prof, libghc-random-dev (>= 1.1), libghc-random-dev (<< 1.3), libghc-random-prof, libghc-what4-dev (>= 1.3), libghc-what4-dev (<< 1.8), libghc-what4-prof, libghc-xml-dev (>= 1.3), libghc-xml-dev (<< 1.4), libghc-xml-prof, libghc-hunit-dev, libghc-hunit-prof, libghc-quickcheck2-dev, libghc-quickcheck2-prof, libghc-test-framework-dev, libghc-test-framework-prof, libghc-test-framework-quickcheck2-dev, libghc-test-framework-quickcheck2-prof, z3 Build-Depends-Indep: ghc-doc, libghc-bimap-doc, libghc-bv-sized-doc, libghc-copilot-core-doc, libghc-copilot-prettyprinter-doc, libghc-data-default-doc, libghc-libbf-doc, libghc-panic-doc, libghc-parameterized-utils-doc, libghc-random-doc, libghc-what4-doc, libghc-xml-doc Package-List: libghc-copilot-theorem-dev deb haskell optional arch=any libghc-copilot-theorem-doc deb doc optional arch=all libghc-copilot-theorem-prof deb haskell optional arch=any Checksums-Sha1: 4c93c342761b087ce5c142fca0b0ed046c98ca9d 71863 haskell-copilot-theorem_4.5.orig.tar.gz d51b9e0bc57d4e256d16994ac6127904f22dad9c 2952 haskell-copilot-theorem_4.5-1.debian.tar.xz Checksums-Sha256: 112dec0c033d97682535204e8e28597c27c94c9d8e02a76dfd179e9c52f08c6c 71863 haskell-copilot-theorem_4.5.orig.tar.gz 4f406962f8e3a098f66e46cd03de99a6f60378e1bf77ffd27f41d77a2ef08097 2952 haskell-copilot-theorem_4.5-1.debian.tar.xz Files: 08fb31fb4ef9b2a3389e76c80fca77a0 71863 haskell-copilot-theorem_4.5.orig.tar.gz 8bfeca470e08b7cef3e932083b8eedd3 2952 haskell-copilot-theorem_4.5-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmiafvoPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iieewP/RiCYsxJq44sbULxUzkND1ZnU31dvHbE60i/ wv7+SnuxDF8WyfQ5JH3bI8cn2xUTJteiEiBMABlruyPvb+uE9IRPQyZE+Jr9KNID Wwwki7Vhb2yqxx83GOK38hFNz4azHncQFInhwitsjLxFo9Wkv+lTkyv1KcNrw0Mu 7Pa435iQv4iufx0OQRojub4k/4v6aPs1/07NDSosY5/eHi4eRnrY6xHqYg1+RFO9 UhDxALMpDnc+xO3vqWqlES/JjeWKVcevyvCp42HXPj7KXTEHufZ6bdLPouoovuva JbqRrasAnraTUjxT+idSHUFU398AwzyFIPXAeA3qA4KCcwVZStWEaXZc/eF4FpWK Zkzsbej3eUIq5hRQRq/9r0yT6Ub+ujkK89N51oPUt0MoXP2mioJefpROxyFldLQl cZYtsYfUa4TWm5KhduRYcxisgEe4rZ04eNfHGPCXXX+7ckhdRLqY4FeIqJQyIcvC dNDQs1Qd3b9Icoous9WlyoAM8nGOv9oK/3MSX3upeo15i7OP6/dmnFk4RUz1QiDL ErlJcIMDfAD/gDvNd2a5wuv4W7RydYvZeBQwPtosL4TzsUIQolcywTXZy+DH7R/5 nYJJ1Q3kL8MsfgvXvw1QU4VokO6PULKvqvkFAip9KjT/8d7LBqFlT825UPLUoGkj AlkRK6Qw =daSA -----END PGP SIGNATURE-----