-----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.7.1-1 Maintainer: Debian Haskell Group Uploaders: Scott Talbert Homepage: https://copilot-language.github.io Standards-Version: 4.7.3 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-compat (= 13), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), dh-sequence-haskell, ghc (>= 9.10), 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.7.1), libghc-copilot-core-dev (<< 4.8), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 4.7.1), libghc-copilot-prettyprinter-dev (<< 4.8), libghc-copilot-prettyprinter-prof, libghc-data-default-dev (>= 0.7), libghc-data-default-dev (<< 0.9), libghc-data-default-prof, libghc-fp-ieee-dev (>= 0.1), libghc-fp-ieee-dev (<< 0.2), libghc-fp-ieee-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.4), 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-fp-ieee-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: 3db5dfe28f99ab0aa9bcc3cfc45c5f0a39e625c6 71903 haskell-copilot-theorem_4.7.1.orig.tar.gz a77c1e89a981f305d4be5ba4792ca587d02e176d 2980 haskell-copilot-theorem_4.7.1-1.debian.tar.xz Checksums-Sha256: 65988d9dd4bf4c05bdec614b35e9028e4ba93153bf7c46f96abdd64f2327e10e 71903 haskell-copilot-theorem_4.7.1.orig.tar.gz ec65ebf505ddc23639b09b5ea4edf675c286bab43e5cc8ff7edad5ec0722bd19 2980 haskell-copilot-theorem_4.7.1-1.debian.tar.xz Files: dc71ce8996d852b70b75b0b0f8d2c5ac 71903 haskell-copilot-theorem_4.7.1.orig.tar.gz 98f1c4d39d0d72eaf484bbfb616b6635 2980 haskell-copilot-theorem_4.7.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmo3IlwPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iirxcP/27TNe/DU6dL7F+4SAiolv9HLSYtpIfSeNvg YyLm/pptzDhSPpzPtCKDVIVL0fbtZOEo6HCucWEvOlVu/FMEnFtak8EEcOSnez72 6aYhTd2MlWYsf0zRLf75TgICRqx1o23tYp1Pyx6U+1mOCM6s5+pIaHktq93AFl9N XXwC10Yz2jTR2PNd85iFvkCNAC1QpqBeA2vMLTI8aI2ZQQYnPmX1IXBWYAXYprAQ DXTUVjJ1rQ1DoOBjlzbdcA1EQF5mUlpKHEgAafV3rLIPDhhL6CzkgFEPjEcvfU2M YB9cNrxIIlHEPOA0Wj4g4XA0wukGPAEcWHaAgVVpF+e7dz6qZyDCsxk3XD49mWBO NihR4Un92TVJuhu/Izf2RttJa9nZL2g9p5VbHsM38+fAKL97ZosR9zFYuC3xo0jU wricDJNTQzOCeH93Rebv9Ez7CBvGYrJf0VK1M7yK5eK8UA2TlfbM1l6jNJM4QOBq /Mg1tyXDS+voxV+YMJAH0qTsbx+gvNFCO25ZP0TRPGRKT9LjO24mNNj0+i6S437O JcDCvNKFqbZgr4Qy/Lz0XJsHx4+oVRUbADz+3rPOajmtoKFoh6xJPHP5HY/Q1ujU KtylAJoQ8c/pbpt63wjO/iP+XWeu46vAm5J3qarsv5NzqymnyJ9Ws9M/PvLHQr3K h79DS9t4 =wqWS -----END PGP SIGNATURE-----