-----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.5-1build1
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.0
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 (>= 4.5), libghc-copilot-core-dev (<< 4.6), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 4.5), libghc-copilot-prettyprinter-dev (<< 4.6), 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.3), 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:
 4c93c342761b087ce5c142fca0b0ed046c98ca9d 71863 haskell-copilot-theorem_4.5.orig.tar.gz
 816c0ce76191b878a3d26b80e5afd0bbde9af964 3028 haskell-copilot-theorem_4.5-1build1.debian.tar.xz
Checksums-Sha256:
 112dec0c033d97682535204e8e28597c27c94c9d8e02a76dfd179e9c52f08c6c 71863 haskell-copilot-theorem_4.5.orig.tar.gz
 58ddc80462738a3220d93e42bcd94b41ae920c1fa020dbd203d7e4e4c79b3eef 3028 haskell-copilot-theorem_4.5-1build1.debian.tar.xz
Files:
 08fb31fb4ef9b2a3389e76c80fca77a0 71863 haskell-copilot-theorem_4.5.orig.tar.gz
 0e9870b43e76aed334562457045abd09 3028 haskell-copilot-theorem_4.5-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmjDv3QACgkQ808JdE6f
XdmtLw//aTJu5w3RWPG5niLcf04K9H32RPF9rP2QFY1Ejnp2LqmEX3FnghD2maNu
fJHU07A3Cl9cFXWOyqrs8eGPwOBnx0Y4QyaxmVvwZxebVx/WjW263YYFbOle2eFw
fzNsw3gAOEvbSoKbOCCoLl02/qsG4l0ADhBzb4Q1Hv4Xnq6THqNz8Agt4jA9HnMQ
XQBXKDXT8m08WIaq+G5uGhNtCURQnMWzcJxgf+/o4NBQxEwmtEAArVsshXDgIpr7
0yAhY1rE2uKrpE2gZ+lRbXSDcSEclS3HBlXz1zioTN76V5ydMz9hlHC6p0eukHfJ
XKBY+6+3XO85hTSCG1sR5uI1T9h+mTeGGS+KwGEufzIo5tdCKGgAY7Whj7FwyY2y
bkNgMK8ZjvdYJ4llv/x3+xPc10R2FeRvcu68f8XWAYKe+/o78BTYua7eLin6hw4A
/5DwlGWvFNaeGB6rgZqbum/wpGrQr7aKkSsUNAuJGxs2eud+Mt+57iKTC62BWOAR
rxgSpaIP4F2HuRZdmzxJ7Fz7lYdeqy6rj+tNiTWiCNUEmdxnG5DtUvExHiMZAguD
y5PTZ55kf1wFjWwkhUbhLHdgZuq3y0fWtP3Hdph3ZLqSADh5j2HaunLSFjHlRDS4
yAhIyi+auGVZMOnc1w2wfzdAdD0j1cUtB4zsR2ZmKTAP2PECXvo=
=779T
-----END PGP SIGNATURE-----