-----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: 3.10-2
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.6.1
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, 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 (>= 3.10), libghc-copilot-core-dev (<< 3.11), libghc-copilot-core-prof, libghc-data-default-dev (>= 0.7), libghc-data-default-dev (<< 0.8), 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.1), libghc-what4-dev (<< 1.4), libghc-what4-prof, libghc-xml-dev (>= 1.3), libghc-xml-dev (<< 1.4), libghc-xml-prof
Build-Depends-Indep: ghc-doc, libghc-bimap-doc, libghc-bv-sized-doc, libghc-copilot-core-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:
 2151a06c8a154f77a620bbbc16852e5c895c6150 58327 haskell-copilot-theorem_3.10.orig.tar.gz
 8e0441176d5740d54f39ceee22bb0b97008e6fbb 2584 haskell-copilot-theorem_3.10-2.debian.tar.xz
Checksums-Sha256:
 9ea5e5315439ecdeb79689c85f43c1455bb6fbbfb773a971c120e1d4f814e3f7 58327 haskell-copilot-theorem_3.10.orig.tar.gz
 b7eb5129bae2faf3e5de18a6ca9fb87b71a3655a39f1bae5c3e43f7fa6b8588c 2584 haskell-copilot-theorem_3.10-2.debian.tar.xz
Files:
 6931b048a438724f865cb32483c434e2 58327 haskell-copilot-theorem_3.10.orig.tar.gz
 3b6c18f9c420a45b08227b4483c138e4 2584 haskell-copilot-theorem_3.10-2.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmMfwBIPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiX6wP/j6C0OHbLpMUnfak1vZZ48rh75olzRMwwPhk
mHOhg8ZLfenl3u5i4MJp1j2mlQSgiOl9ljb0TXBnDaVYB2vGavg/wA3ppW+URncB
z1OnX9Mdluc5IpC8T8ydIS22UCTxyfKyI5njK2ijWJb/NnDAGxxo5yPZUKkQutPs
obym+ICF67UQK10AnUVUDepf2tbB7Iq9+iAbow7bKAmg37qZrIqYMBi4L3JqeLKP
ZaGGzNf7VhHH6bU/QUxI3Udwrnh4izHXAgwy/SQGJUVrfCvYzEz018Y/MFC+oktU
4pB7qigcMnyYRwoJcudksmRFTHG3lM4zOBwv++GuU0YhVjPmQVdfYUTA/Mh/oSfo
YG7XUSlOKpK2oNzXRDAjK+FzpFsa6pRTagRcE1PCU7psEjrvNGPsH5k9EyskrEHZ
IRaR500ct+a25NrwceG/YOFIn2fc9F3LyUGetG5QwvhALbMobCRg9MmByEwwj630
EbOsA0ZJcT7/mzWrXMP2B6jQfk+xnZjKmem8A44LHIDc9+7w3a3O9SMTzw0c7C0P
+GRknt5NaDBoVRLdJwVJ/DTmE5GBkVdAwhyVm3z36bZgQjuKRtcWyn7qc8SepsE0
gvOKXudqD1hMrKYSOlOC9w3Joqt/e0NDIB6WIawUZT/5yQU1Lz41d/JRHNUBR6+D
76BJoQYL
=274A
-----END PGP SIGNATURE-----