-----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.11-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.1
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, 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.11), libghc-copilot-core-dev (<< 3.12), libghc-copilot-core-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.1), libghc-what4-dev (<< 1.4), 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-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:
 319ab1c46c41e98309b5381fc8ac886cd2819d6b 58334 haskell-copilot-theorem_3.11.orig.tar.gz
 911bdfa5b239430fc33ccdd8cc87d2b452bcbde2 2580 haskell-copilot-theorem_3.11-1.debian.tar.xz
Checksums-Sha256:
 8e2a166441996bb0eee6a355722e2a12542931cdf2eee19c800c53f977a92cdb 58334 haskell-copilot-theorem_3.11.orig.tar.gz
 c6971197ca2723fdafa5326170ab6c90cf2c58c3aa21f28e766e356b079fb4bd 2580 haskell-copilot-theorem_3.11-1.debian.tar.xz
Files:
 ed50133144025f269accd1a87dd13ed3 58334 haskell-copilot-theorem_3.11.orig.tar.gz
 08a71cb0bb792087e20679e025c9fe98 2580 haskell-copilot-theorem_3.11-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmM/ZiwPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiJhwQAKtLkjAtxh4YiwXAalx5ADas0H7dDEXMog26
hpQtGFsbCYwrNUZSmAgRgJ/kmGFYaaUoeBuAx0l16olW9Rp5Nyfob5qvWKhxZntE
28QJ5BIqGjiXJxcsv1LhdVCy0tve9KQBkRbVoVz6ss/J21E4Vj9tEeCNuU6jXnsY
W0V6sdEHCykJVig5yjPErPI5+/046KThsASsWExQQQHpWK54giSwwp/m7XTDO/L/
pySXGWEknZMJLTUO7sfymDxGcg2KCyGoXGeGl+KQp1zi6ohD1BofIdBDbAblPeHX
Em/7jupeOCKxYCD6vg69Lvp32hZ6XxS9ZSHi18n26Nx8u1SWgHkuK8W+OyHnDRLx
AqOc7RmgZ/9S6/aZeZ16aXYVgaCPFvznWJVA8fvurKfZ5qNcTKXbnpPGyrdboKdN
nHqnLyOgrncrtRQg+u8t+CPJ9i3z6aWWgczewStPjZQ1AKukuX303ZDEUdoMgK5S
uLEoOeercp1bJ9c8Oz7eS/zK0HDIauRtqoVudsr0QzqoqV4a5e3BnyYua9sRwdvx
BN1lq0RpOkzG1+IcN1GuXBsu9ZM4O+coR7yci5epmXNTfrFIts5JDFeFrtI6fTRp
LHuDMk+PKG04KprI8b1v54TiKgBJASprOFYmHb6llfmpT3u15YzzOLytEGd8OEea
tgkHloEr
=GreO
-----END PGP SIGNATURE-----