-----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.17-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.2
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 (>= 9.4), 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.17), libghc-copilot-core-dev (<< 3.18), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 3.17), libghc-copilot-prettyprinter-dev (<< 3.18), 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.6), 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:
 17679078f577032fcec9384640933e149af29cf5 65303 haskell-copilot-theorem_3.17.orig.tar.gz
 9046a61cbc8c7a111f89a66757c9c64396186ba2 2736 haskell-copilot-theorem_3.17-1.debian.tar.xz
Checksums-Sha256:
 b5a053b1a2e8a0a60b7c08dfd629e9eb20f4d6111094273660cdb6d94cea8194 65303 haskell-copilot-theorem_3.17.orig.tar.gz
 6e3efd321e58fc3afae16911849b23815b4b0e555c1b77dd54a5e8ddeb3a6db5 2736 haskell-copilot-theorem_3.17-1.debian.tar.xz
Files:
 002ae50c34a9ddc75c593eb23485f0f4 65303 haskell-copilot-theorem_3.17.orig.tar.gz
 fe61951dc24f0a1e44533ed93655cb8e 2736 haskell-copilot-theorem_3.17-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmVSy9YPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3ii10sP/1AHoA74iaVQAORTwv2D8GtmToneyHk8m0e+
24EtIqenXGrIdV9nOFeIolD6UosLJKBo0fhvoF4H+ZqwgD1IO9V7153BHtfacDNv
rDxlPzVTbEKv4LXA9H2ok9M5uzqT0aipspkfk5h6CwxKeo8CiiRIyTLlVIWj/Vg8
4Bzh0kaOFLvgxohUxSEUUxNXAI1tDjnGlOgn6/iZdqEGpfWdbAo6sVu7MdOim48G
RlUsTitk8RiU+V+gSQBGKJNjXHG3xjjri9MAnVRKAGqltvS5CaLkk8KjHlHbC/Pu
bvzDB9QJ47pqdLzXshCSqbiE0FhrSGvKn5RIxOiy6+IMkL1CPRLXXAJBcWA0Joue
DaPMe3GD0w/TmLtkkou9mQRN7C9l5y4xSJcAdaWESDmmdvaCYKnrpYEQNKEDlBQQ
les+yIFC0iljZOeQIflRbpCCSZkx85g07O2SyIQVYs7kjKMCfz+aMfH4WDFMymDn
gvsDFmjChMfHEw8A21QMQ6LNyygU1LNYXktxaQHFb+LGqwxbF7/HV6UuoKKwgWpf
5NmF12sdetFUiCk45e9lX4Ge2y+GF+0Lw9j/DTlyoBZoNI98XE76k/yQAilSvGTq
hW5svHiDj9UAQTZLOVv03Z2ow6UDArIFmHpMvSDpVgRNxpYuo9coQQ5QyxVnQJ32
G9ZZB/CK
=E4Po
-----END PGP SIGNATURE-----