-----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.3-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.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.3), libghc-copilot-core-dev (<< 4.4), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 4.3), libghc-copilot-prettyprinter-dev (<< 4.4), 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.7), 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:
 cc81ea9322a50fd1b960599d1b49f139a933453e 71261 haskell-copilot-theorem_4.3.orig.tar.gz
 052527b5e3e37d680a8a8a18120350db8b58042c 2932 haskell-copilot-theorem_4.3-1.debian.tar.xz
Checksums-Sha256:
 3ea3b00fb9685a0ff06a7d60975d8dcb77e25b45d57688bc34ffc859f6287fa6 71261 haskell-copilot-theorem_4.3.orig.tar.gz
 f47a8cdf26bcdf63d2af9374ddf0cfe07d9e1e0d8913c156e3ae293ec3d70d9e 2932 haskell-copilot-theorem_4.3-1.debian.tar.xz
Files:
 d667dded10735330f08c18856e109fc7 71261 haskell-copilot-theorem_4.3.orig.tar.gz
 d336e60942e16de532787da43b16f15d 2932 haskell-copilot-theorem_4.3-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmfoK40PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiERYP/1g3Asr1poSSzuB9fCooBKB3YW2jAXWzeU19
a8TLJEOMS2bYSqWZ7itAclA7KJ/NwYTK+RcKKP4hAlkQ36CTu4cP0/dBh/YNIRHc
aV3gMCrzpzQ/m//IpjjZQvq9BG2EsStu687Snv+ey88tar746ncdZNkyR0SC4VnY
rBkLM0hNYAQKxezehrcdaUPfAbjW9ThOTFzyUGEjlcLZjx/1XOBOKL5bIA9O5C9t
FiEV+jj5uo6w6QdzqOjyhJ6sSti6NB2/eo3Bqsd6wj/rT6k0qJZO9Vf97Gg9qilH
+1bdVsAFINPm7bJYsC2kSHZdknyfPTrmFQPSwPYSi7OFOEZWpH6IgnQ/SkPNgS2B
F3JDz8fjMUZ7fKsMOamW88hRXj2UdYPk19camcNwOCevLD0wxpQZpy9hppyHV/VP
SD+29v2EgmrsjQn3H3pr8Kdvt6cSY3/jvvPvcbpB3typZPoo6itszpu4MLHNabCl
gv+GIkOdvJAg5LEd6ptITVggXlLD2cpYfrsMejaNNyQjlHukt+0Hvah/wVbyQH9v
yMsTmWnxkfj5UK0dByGRBbBk1qc68Kpqt3sPcae6P60lopm3p4PY/ByvFX4J4Q0W
X9CCL/bpyyqvPxvuBuBrtafBsgrSGkWaRQaBWnulqS+v6cgL4j2rcOmmUDxiL2q/
ha+I9XU9
=Yrls
-----END PGP SIGNATURE-----