-----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.16.1-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.16.1), libghc-copilot-core-dev (<< 3.17), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 3.16.1), libghc-copilot-prettyprinter-dev (<< 3.17), 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:
 ddae4e158e235cd7092194f3fd98b18e7d4b3d39 65278 haskell-copilot-theorem_3.16.1.orig.tar.gz
 c4a0e9e6dd340dbb7ae087b86c99f20b8b6a832c 2916 haskell-copilot-theorem_3.16.1-1.debian.tar.xz
Checksums-Sha256:
 b7da3d231a3e2a22aa622c3b829ef8cb86625c63730fa710b44c84c201db1749 65278 haskell-copilot-theorem_3.16.1.orig.tar.gz
 b05e81379d2c70e2bf181c54d217219a303b21b59dcb5ff03a5d920d48f9af74 2916 haskell-copilot-theorem_3.16.1-1.debian.tar.xz
Files:
 296daf3713d930fe492b9a42ae0cb243 65278 haskell-copilot-theorem_3.16.1.orig.tar.gz
 a1d629c36e7381c6b692d3ff5583c8ad 2916 haskell-copilot-theorem_3.16.1-1.debian.tar.xz

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

iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAmVHekQUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDwKjxAAv1wytCzajSyuEqWsuc0UuFddzrxn
9PdYRu0GppzO1t98VCJhAb3K7b7CVCHDyyXkT7WXDMoYvbwH7gBMiAAwkSlwS1+G
fxXAljrYTR8x0j1GSg2G/G7L/Fb0yaEIrFQWLTxx5vAIRbOl9jET/Ri//vjxrRWg
DXr237zV4e+jios0kokCH1ko5yTbSlF9eAy7LyiYzf57Y46Z5a673fkcRA+UzUl6
1psWFCFR2xQ/yNQfGCbVegPwcgOrq+kTts+sUfjjJPh4z29KPmC7h8UUBJC0YCYI
mJTVpeCtpcx83UNAKTBhM3ZBz9xfDn48uqaWTNbrPEuIBs3BA/+/KoJBJBQBy51N
uSznTm3oHXYx0tkPVh4O6MUZv+D1/EZR6jtGsCb/IUTVn08yZjEbx9MXPsasKWcl
jTm3iwuem66oSswzc3xeiwnjd+WE8ZOwg/zP6uzLty1GoHroFkMpxu1XS3nN70v4
ZU8ctDA8CR0vdGN7LhfHzWha5mSOSbSGZfRkvERXVQ9WrfunmTwjywuAv/LBCGxn
cFt2003VwBohaSQOWglRKoAw8IKOsRKMEGjFxSJiiO3zBLi4q0A94CowUpcnJVZd
1Mp9s00Kio5592JbEvAG6kHdoGPLa7+wku2aWGSstdzK7xYPclaEN8T+aTCqSVBr
2F7SeqEOWmNsLiA=
=1wnq
-----END PGP SIGNATURE-----