-----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.8-1
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Uploaders: Scott Talbert <swt@techie.net>
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.8), libghc-copilot-core-dev (<< 4.9), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 4.8), libghc-copilot-prettyprinter-dev (<< 4.9), libghc-copilot-prettyprinter-prof, libghc-data-default-dev (>= 0.7), libghc-data-default-dev (<< 0.9), libghc-data-default-prof, libghc-extra-dev (>= 1.7), libghc-extra-dev (<< 1.9), libghc-extra-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-hunit-dev <!nocheck>, libghc-hunit-prof <!nocheck>, libghc-quickcheck2-dev <!nocheck>, libghc-quickcheck2-prof <!nocheck>, libghc-test-framework-dev <!nocheck>, libghc-test-framework-prof <!nocheck>, libghc-test-framework-quickcheck2-dev <!nocheck>, libghc-test-framework-quickcheck2-prof <!nocheck>, 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-extra-doc, libghc-fp-ieee-doc, libghc-libbf-doc, libghc-panic-doc, libghc-parameterized-utils-doc, libghc-random-doc, libghc-what4-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:
 6989f483bad6d10b82ac946b9e6a9fb995556a84 72920 haskell-copilot-theorem_4.8.orig.tar.gz
 2c3a4be9d523995d04618a58b4df56b607245e95 3008 haskell-copilot-theorem_4.8-1.debian.tar.xz
Checksums-Sha256:
 dc9f3dd5673797460b4c22e7f61714509ef764ebf12714713ee9a94e0b149934 72920 haskell-copilot-theorem_4.8.orig.tar.gz
 a27c92b1588c56f433a4e4fd0a06c662867725a700d45159cc86f9a67680aff1 3008 haskell-copilot-theorem_4.8-1.debian.tar.xz
Files:
 8b896f33f41409931165475afdc9a9da 72920 haskell-copilot-theorem_4.8.orig.tar.gz
 ceb1c26328d452ffa4c29169d0158837 3008 haskell-copilot-theorem_4.8-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmpjgHgPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iic1UP/3XYji4uzFTsA6b22iwyz1Q40P8Cl1yqHiRw
aR51EW9T70Ce8N1TwhP9q1qRXvNtTIJvW10vldTi9NUZIDm3yjAspJu7nzrlHmcb
SffgN9YJTE+jXqGHNvf4xELlhh8sbR/Bwc6Hu4MVcG3vFTtvHq+KtKCi2bsV7msS
maVIZuC5YfXped4+WnU1X0qFnxgQkIoQ0oQb4swkDUN+OqZNvQiPy2eZp9mo/78j
x9MZt6qNuzMh9Tplzdwfcj4ze1Oz6RfN4BuQCVGoNVL87uMLluGsuDhaOXx30rXp
Drl4x/8CeOzkeRJKWKFWcsJGkAm5XCs/y4AqoefifHbzcqlqA0+BpiV6XdYuR+uP
8pA0r1+F6l2YOqWy157HRHfoCPug7JCbJ2Icuy1vBAPpz7cr4GkfZgZWekxnwk/W
3nC3IyM2CE6n6mniBprtApLrivYttGXRtzxj2bDJFdO91fWZcWmhukVjELwp404G
674WiaZGoHWEhgeV+guoq1BeAuO5R2N694QSLnhJyaLsJJi3yj+ltUvYH1c2GcyA
O3jv4+ytHbJRgm/67KrTmlqU+C5MWoOxjcJ/T+O6A5J7muGCot6xFWuOyrwqVwxf
xmKhFAAN4OdXLdwt5wDlCq3E9Ql1YLmHxcgpaqBZGuW9BE1LG3R/4DGK7efiyAOj
S/j4Ljgx
=bkU6
-----END PGP SIGNATURE-----