-----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.12-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.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.12), libghc-copilot-core-dev (<< 3.13), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 3.12), libghc-copilot-prettyprinter-dev (<< 3.13), libghc-copilot-prettyprinter-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.3), 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-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:
 cf1282000a9a0b275ecf4d36077f45945ec9bf75 65706 haskell-copilot-theorem_3.12.orig.tar.gz
 4a5a5982f93b577b07f0fa612fc7cc89a9dd1ef4 2624 haskell-copilot-theorem_3.12-1.debian.tar.xz
Checksums-Sha256:
 7fd0dee30ffd418a17f36af2be33071e8bca7275c9a5047c9c176f49944319e0 65706 haskell-copilot-theorem_3.12.orig.tar.gz
 5651e43561ed935630cd108cc4e61531088278a1fe36c74c0a08c1d31c3af8e2 2624 haskell-copilot-theorem_3.12-1.debian.tar.xz
Files:
 757226656c05d529870555983bf1b8a1 65706 haskell-copilot-theorem_3.12.orig.tar.gz
 5a6941f7f29054c050d78c8225b9fffa 2624 haskell-copilot-theorem_3.12-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmNq8kMPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3ii0jEQAK0gYjiZGi3XQe3+eVE3L5q6C/ZaqpNt59KJ
M/te7RwTGGCzJivKDTvycq0gUsJ8I7YmxbbA3DqSStWBFW/+HaX61I3KGibPNvrQ
DEHgKbG6I0mieYB88faA6SLGqU6CkbvRK30rmTlUN44iBsJ/mgz4qNMwbC7BAH5J
1pe1mgf6uO/QnFmSZNG6943tO6BqanDUr6S0aGFnOpZkRhkz9ZN3cLfae91DtdZC
x/wyiZJVhCxn9UxUH1IuSwdPGNDAMBsPVTlI7qPbyIaNr26rhGDYuP59jB+GlAmN
etxAtRnueOYJPN+CLcPWAkopjm2YC9r1mXrRNEDGvymTuJLHK9E4y0CqJIqzOwyu
Wkz8FUZ7PKSx2tb0CbCE2GnUjT8ARZcx2ynLPWgKJW3eNTDe4hFe9qfhkNrHKzq1
wYiWa6oRB4I9TQT3Xdw+T8m7U2OhN9IsCj8R1Pi62+m9w/VTr3h2d5FJv2X3sqca
5YM3edclYEmm2gx24Qj+M1yeWnByKrzUtk8faMtfTRDIrRqtzSJtkx414R+xrVYP
JUf7qMLeY5cwPK6rAFH28wSu//DjqYX/RLduftuDBW1nq8r2AclVlxFfm6Uveel5
Ig8GRA3j58wv0aydHVuuOqZDe7X7v3opN4lzKrBMgdIPFNhgWzcNrCSoC3MDO78R
Y37NTt99
=iSFs
-----END PGP SIGNATURE-----