-----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.10-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.10), libghc-copilot-core-dev (<< 3.11), 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:
 2151a06c8a154f77a620bbbc16852e5c895c6150 58327 haskell-copilot-theorem_3.10.orig.tar.gz
 1dd8caf6ce83886ce612099aa1921b9b85370706 2516 haskell-copilot-theorem_3.10-1.debian.tar.xz
Checksums-Sha256:
 9ea5e5315439ecdeb79689c85f43c1455bb6fbbfb773a971c120e1d4f814e3f7 58327 haskell-copilot-theorem_3.10.orig.tar.gz
 edb73ed4d20be9b9aa3b163e809c72711dcd417e6713d9b66d540ccae73660fd 2516 haskell-copilot-theorem_3.10-1.debian.tar.xz
Files:
 6931b048a438724f865cb32483c434e2 58327 haskell-copilot-theorem_3.10.orig.tar.gz
 0d0f5249abecc213806176a5ce2ae057 2516 haskell-copilot-theorem_3.10-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmMGi8IPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiUa4P/3sUPu8SxyGYGKYiMX0cN3XWCbDS98zLDmaS
rI/AsJy7xtDg9HZJMTml8yFGl2Gig64gfqJ4+S8SVU88gNWb1SqsoplZ2d6FqJB0
XYy/M/eGIyNw11tWv59WVQbQfeUB4XfRIW0uTKYJq/cbUm+4aSssYfTIpQ+9ojh8
01Li8V8zyuNNuPamQVRQ3QJUMKW6PcwlB4IKQrcDq6PPV9uPr0nmNXS8JHu7KfAW
51bxx8VFngzAtfzJfYPLg6AI4Luy5h3qSW4DGr2UY83ELuRQMxQwD4so+EW2ine1
ftQAvTL1IC6yuPDPSLDpMSYIjvsk5M63tFTM5VIkalXf2ZTlL4MZKJ3sF3Q4p3Rl
Rz4a9gWCja3Vx6cIjvxAyX5FyXu752JyPmox6zXjKYGBf77lwcAd5PVYqe6pi3Ai
xj1CGZqafDaWNq1JljIxRothRtORBlQLWG6kRAm9lX1ZOrusOHRql8+rID48eNZJ
IUd53dCJf4HCBI8LhZsrVUetqei5pwwq9/sjRkjsrRsoDRk06fxIgb4qTKe1DBU8
4yC7Bocl7Sm3UFzNSMDlRVza6PkVTVobUY2ybX7sliq9PE6N8DZaDm39K1/1dG7J
e/ZVHHpFWKyKEzioKbUUUDWXgKqnGfrob2CqYLPglMW81d2KLiN6ZoyiSwHSGn8W
0y4lYmS6
=EPdV
-----END PGP SIGNATURE-----