-----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.8.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.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.8.1), libghc-copilot-core-dev (<< 4.9), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 4.8.1), libghc-copilot-prettyprinter-dev (<< 4.9), libghc-copilot-prettyprinter-prof, libghc-data-default-dev (>= 0.7), libghc-data-default-dev (<< 0.9), libghc-data-default-prof, libghc-extra-dev (>= 1.7), libghc-extra-dev (<< 1.9), libghc-extra-prof, libghc-fp-ieee-dev (>= 0.1), libghc-fp-ieee-dev (<< 0.2), libghc-fp-ieee-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-hunit-dev <!nocheck>, libghc-hunit-prof <!nocheck>, libghc-quickcheck2-dev <!nocheck>, libghc-quickcheck2-prof <!nocheck>, libghc-test-framework-dev <!nocheck>, libghc-test-framework-prof <!nocheck>, libghc-test-framework-quickcheck2-dev <!nocheck>, libghc-test-framework-quickcheck2-prof <!nocheck>, 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-extra-doc, libghc-fp-ieee-doc, libghc-libbf-doc, libghc-panic-doc, libghc-parameterized-utils-doc, libghc-random-doc, libghc-what4-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:
 bbe46b185db24301355fdd5b1c40480b4ead030b 72948 haskell-copilot-theorem_4.8.1.orig.tar.gz
 3695697d5cdfa8d28c233744b4b9311e5687a9dc 3016 haskell-copilot-theorem_4.8.1-1.debian.tar.xz
Checksums-Sha256:
 5650e5fbc945cdf7fd6e5eb7ede88d6f6d96aba9330b02a80e1c69b943ca598b 72948 haskell-copilot-theorem_4.8.1.orig.tar.gz
 464bbd1ac414dda89e2a77e2ae8068980cfe3ec314bb858de69fe3164f8abee2 3016 haskell-copilot-theorem_4.8.1-1.debian.tar.xz
Files:
 be7b4a4d69be5261ee0def265d8c6a50 72948 haskell-copilot-theorem_4.8.1.orig.tar.gz
 275b58edacdabe1fb4adc24e5c108a67 3016 haskell-copilot-theorem_4.8.1-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmq6wnEPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iidIAP/jC3XaRThNqUBtuyj/rYUgcgplf6640LC4Qo
WzL/jkO6SVoB6bmy/aM24DEgxK9Tpm13jZ9/4StjtIGgcD4BmuVcUiiq44VF3WnD
LEKVs7nkeiGJIa/jtBIC29Bj5AY2e6jW+/sxu8TlV9QtiJOczZ2zvh2UNE+LM9V5
o/Z+XNKKS5Bs20UZiKXU8k1h2ct0qXPlNF3Pzwru4QaRKwxmVywDT4BUHNA0i7HU
9PlDPNlrhv4tt0R6/2PY0tVxXl1GFWBgFBRrTGg8/0ricKk9RyaGQ8Uw6SC+tWrM
fkh1uuzSoMJ1wmGNP+NJdStebldXqDx6G9Y9gCJlKXaNMhANt7yY4P/B1hmv3KGZ
1x86IUCudjr6zp0yOVZ2xlZ6xhfYkU/HaJ7hdTQpPi9jvlLf6Mo1qPW4eJ42Aj2j
EbHxsvwpnLBcYTjPEAcoJpTW0QpNzUQwzm/4lB1o3hhGGgFiO00lX9u5g8p0dIwF
oBF786f6B5Wy6OyR6d3R704xeV8RPLx5jg70gobbsftwIdZ3pBzUcl5zhJM1E5Wv
KAPSpPvJmjUYPaP4ptV826em1OINlw/7LVVAuel0iJb/M5+/GlThFhg2p5OnmZLs
6GcK2BAGruoUAL4xi93YYgIc/4VV+vMzu2s0eBJ/jdsFOVNJJFp3H//Rf6BZBNja
mIS+pgjz
=KHf2
-----END PGP SIGNATURE-----