-----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.2-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.2), libghc-copilot-core-dev (<< 4.3), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 4.2), libghc-copilot-prettyprinter-dev (<< 4.3), 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-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:
 0d28c3e7f6e74c6d6a7fd8d80ce5477da6be0d35 66178 haskell-copilot-theorem_4.2.orig.tar.gz
 f0286fdf87d06452f3212c0bc3db8c4ee8c0f8d8 2928 haskell-copilot-theorem_4.2-1.debian.tar.xz
Checksums-Sha256:
 34f3e6e4d5c778303fd8a2942d95015afd8264073d3b3d7d796a053941edc46d 66178 haskell-copilot-theorem_4.2.orig.tar.gz
 bf3c014169c9e24fe1eb79afbc52a930aa42162a216535eafa14b6d9b706cb15 2928 haskell-copilot-theorem_4.2-1.debian.tar.xz
Files:
 7b8ad65158547ec0a0c729c9b8ec1724 66178 haskell-copilot-theorem_4.2.orig.tar.gz
 450a869d65e8b863265013e985697f3c 2928 haskell-copilot-theorem_4.2-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmeRgeMPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiCbgP/RuHqQN+4+euKjHQ1E2FFC+KdJxDD7B0nvON
HWldTr8JxKftEmuLhO7zC3VngOvCN9HuNwHAAzxeW4nSNvUhrkhLJyFfXRADiDfx
mnV91e7xCOTfwluvtVBlvnfWN5Ue/nTD3PB6tqEbEuAgMeEdimKd8iWUTyhYDlgs
Pzcz3tSyj+/yh0MdpDlRisIbtmp1/VMRS8/FTZz8J1NmMwkM9bLJVVvcVW+vV8PH
LmRplQy9M0+0sHnHA2ncuGKnnDe2navBqlXkaU8r6znGb0MQYxKjM4PR8DLugK3E
As8iCbyc/VkxB4HDe4a/uS1MmPyFnZWP+21BGgHxJGJMqj3WxXaKZ80wtHT+7NJP
R/9GOye6jWOG5xXzXW80HbMZZnaB7dkNoOGtA82pUMAVDXvsh6rrYEuYjzb//FLS
K2IH2BtPca8QRBv0xt2JW0fVHYEmxtdQjU9jz4RrBtkCbgfxaR/LvQUhEc892y4Z
osZWZHK1RSOOn0Fva+nG3/WPhvqV79z8HjewaXG2AD79z7PAMgLb6ghRPns3mB/u
P1Df8XVMEID4Oj2DhFNaDm28bw1AB6rmZKFu9Ni7y1UJEdK8gLbvl2hCTbfZhrvp
3EFrxtuOPvU9jPGkqjEdKohlVOtAhtYGL0nd5DwbsjJ46COCufZBZfiZMG6pnnhn
M8gbU2IZ
=nuqu
-----END PGP SIGNATURE-----