-----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
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.7), libghc-copilot-core-dev (<< 4.8), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 4.7), 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-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-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:
 009cea33490f09769bd7f07a711615bae399fbe9 71561 haskell-copilot-theorem_4.7.orig.tar.gz
 2ed864c1b0093fdd7080f6f963e0f8bfd29b59f0 2944 haskell-copilot-theorem_4.7-1.debian.tar.xz
Checksums-Sha256:
 e07b69ee0d635244398fa90a1d45eb86ff9ad371d82edc3367dbf09244f1f257 71561 haskell-copilot-theorem_4.7.orig.tar.gz
 514f462099cc95af6fa9d3440b0fc1852c424d1eaa934674cbf0ea426749d001 2944 haskell-copilot-theorem_4.7-1.debian.tar.xz
Files:
 c6412e4cdd2e70dd76ccdc39518babae 71561 haskell-copilot-theorem_4.7.orig.tar.gz
 476f2f06b498a9d97648fef55c8e7a73 2944 haskell-copilot-theorem_4.7-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmnFmfYPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiy3kQAIzHbB3ntro7MWFbwsBBNvZARBmIWxGne6m1
0Lwv+4hQB/qGWluVLOS/O6s+YUdy5gBYNPeJK6KRRSEZUdvkuaTMEWBqivf3Tgiu
jH4LpwpnaVEPKPAk7YSR+sXLS12zGTIACOcuXxMN0anm8pI8fbBsHLqcnku0X+zV
czYoyrj7Y+xUAPk1/zitAwiI+ra6mg6Kgyxd04fNsIgqg7+NCHjEe2J4DX+kg+ra
tU5xqbXLxJQPRqSxkk1CkYniImGdLT3Drulg+nhOntE0IlaSQBw5RKfvverrDCu8
uPtiL7JnsFBP23wLqT+s2uJ9JOufsAa8h8I8clMKHEDdGVJHE37bErJ4np+QOBKO
lNDHf1QiASaR7BX8DrtPolmxRlfyjE9xADQI30s2ZKib10d6PIHxyBKQm3oTt3Lg
rq5Q9fb05oVtxp3Vmep2k3ZTP+yvx8FNcdctj+tj7hdsdfpVp9pVfK+CRhFQBDPO
1r92DmbRKVTDVsIwlMQ38HgwSK7p+IcpfShneGk2VXtab7spf2jtc0mAsNEvGH7G
EXjbIxAfhx0Y8WRAXohpzRzW2Ejl8XtWz1fnjVbbo813pcYARGlmIAkymlIPyEEU
Dz7ReXmZq+B312TJrh/i3BFtMKC9ZbbA2J31eiBL3oVtCVi83hVxCl0kx+iE8z6T
w/yakJCq
=8Gh1
-----END PGP SIGNATURE-----