-----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.0-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.2
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.0), libghc-copilot-core-dev (<< 4.1), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 4.0), libghc-copilot-prettyprinter-dev (<< 4.1), 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.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:
 6033863bba85433651cb8b8afed366902095fd13 66103 haskell-copilot-theorem_4.0.orig.tar.gz
 300e37c15fd97de398aac6826d62ec61e44ee8bf 2856 haskell-copilot-theorem_4.0-1.debian.tar.xz
Checksums-Sha256:
 a34795c82a02825f1f9d51eec2c41fa2a9fa4244da8744d0764c6873f8cb3191 66103 haskell-copilot-theorem_4.0.orig.tar.gz
 8134c2fa4d9e051781649086a2af62fd804e817ef7a4af58c1d0276476afe132 2856 haskell-copilot-theorem_4.0-1.debian.tar.xz
Files:
 3d6e4cf57245d3fc74c22d80bc993c4d 66103 haskell-copilot-theorem_4.0.orig.tar.gz
 d7b09b179398ccc907ca7b0254a01d2c 2856 haskell-copilot-theorem_4.0-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmbhBcsPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiwUwP/RC+mkLK1CLX4ByiV2URvONkQ/BAXjR7hnZd
n0FiBZHKGlodhrazwdhYjqPlXXnv4K68Mn/tajC2Yy2D/sGJ58APhyHAaG2hWTB6
dQosasRlO3mjqFc85DQUsCw9SCsLjjUukqc96Hm8v++xtwGTE7crJgJlXOc6/x+e
kdgr3XK8stshLc5VVDYKD/+lk7vm/6YRLMvjkO0mfL6djvG2Q3Z1XlwIwBtkfjvb
+hwaYfsp+qMVhIH5VFgJ0YITYr14OnDrAfxTEAQGnyxeJFhMLJO3jplqizd5EsT7
1/0kJuJptQP9VvuTEWPPO7h9CEIf8wLCzrWAqPRWSFLB/sBB1QmX1GPbco8nhrB/
fnAvNVYN/jDDxTio8GO1vWdUl2TokxfIomW0ZbbQe764XbWo/t+5s5M4iO3vjrdE
yiI0egbjmZLFFWZWwYFurHukSHbBjFVeMeK3oCU20Z6269s8Cucm0wzKDp2idEwv
y0NaOFKzlDDix+6HeMiHLhYNKZKcSDm8OqxI8VYlZTkPnu2dvt/e3fj4g+xEbs3f
kCAThKjys9F7hHVstg6U2JsNgyZ2p77IZOwqky6N/5M4ySzx/DaDUjYUNlPB94QG
2bCF9s46FWIqqytJS6SqToW/ws0dbhFmJhY9hcu0xC5HRQv7qApuU1ScyiJFJwmb
dIWd03Ph
=cwNX
-----END PGP SIGNATURE-----