-----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.13-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.13), libghc-copilot-core-dev (<< 3.14), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 3.13), libghc-copilot-prettyprinter-dev (<< 3.14), 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.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-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:
 7eca9420a376cac9ca0076fb8d138add9e207f1f 65218 haskell-copilot-theorem_3.13.orig.tar.gz
 a116d84c378483f3a9c434290fb70bb090e02b05 2644 haskell-copilot-theorem_3.13-1.debian.tar.xz
Checksums-Sha256:
 4e129a97e0d40cc23b156bf8a8caf55becc49c9e45482c0c0cbe51af94751760 65218 haskell-copilot-theorem_3.13.orig.tar.gz
 9635f89b805996d1684bcb22e4fc342259ad0f16acec7c812c97bea39edcedac 2644 haskell-copilot-theorem_3.13-1.debian.tar.xz
Files:
 a7465e9b810147ebd0e4b078c6b502b9 65218 haskell-copilot-theorem_3.13.orig.tar.gz
 f4957dd55f0dea727fca9f706a2d258f 2644 haskell-copilot-theorem_3.13-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmO8uYgPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiEDQP/0uHtyHTJFtOaS/Pzitnj1fvr9FeZhnAYLFy
JNoPAnrG5Q1G621/MQ86YaKOD2aZ17hrbJFU+wSd2UsOcn3mjo49dDJDMIQwbbjO
KdQEE3CHSxLruyhbEdWDCODDzoF3Z1dbQbvJJFNuIRF5xC8/VN7YlNl/Zy63ToPA
IvXySVqA7aMIND1G5j4RE2Wqdkiv45YEovWJPKVa32+o8LKNZ1TZK9rFOWilqNsR
DCNZULT0Lut6iEVh8SHAbcej2sPVHVosj6zvnVqbJn8FvYHzsT9/svJBoHH0dukz
r5dzjJNC3JJ33qkPe2iF036vNqBvuNZRVfZWiH9iWKtaVXyu5iVbyUWzDcIcwXQj
NEAgEhzRB9zhjUfCrs/rxpN5woaMf8JD5F5XxmHW1G2fQZ4EKBUERvubkr2/Hx92
UYw0Q3I1q7HaVywyUAG0fqG4SkULZeP/vrowdtreBQ5vvpLz1Tr901e/KX0EV0kq
fpvjmSArAwDTyYVdVzNOkk3292ME0MuS8nqJDzngM3ew2HWmhRaduh810U0JvPJB
kS9DBa1rF2uJNAyoLcgTxofdWCMvRoCyqPHDjVpaVwOMDqDZ57Twv2Hnz9XT841P
RDLu0xWHbFJ9XoyVJoAIw7bDzqBS0H76zD6Yzim5q8GGyQInc7FrWQ7tHXHaPgf/
OFMIbMJr
=sPD9
-----END PGP SIGNATURE-----