-----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.18.1-2
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 (>= 3.18.1), libghc-copilot-core-dev (<< 3.19), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 3.18.1), libghc-copilot-prettyprinter-dev (<< 3.19), 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.6), 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:
 277efbb84b2942cdb1013733f558dd9512b018c1 67349 haskell-copilot-theorem_3.18.1.orig.tar.gz
 f63e0dbee2ed83ffc95612bae00a60c28a22a615 2840 haskell-copilot-theorem_3.18.1-2.debian.tar.xz
Checksums-Sha256:
 79293c5ddb2d6e7606baac3723a6ca91ceda89a3a38724b0a94f8b7313204493 67349 haskell-copilot-theorem_3.18.1.orig.tar.gz
 f9cf57bcd9bec730335ac58f9fe8b715fd03ca036fa1f87525b526a3acb8d1fc 2840 haskell-copilot-theorem_3.18.1-2.debian.tar.xz
Files:
 3c84b5e1856eeed46eb4766e6b8bfbe7 67349 haskell-copilot-theorem_3.18.1.orig.tar.gz
 9a24bab6dbb84d442866b00155a1537a 2840 haskell-copilot-theorem_3.18.1-2.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmWcwMgPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3ii9h4P/0xGXSWoUpSDoYuo3U55ejtVv+jt3PXP0Cle
gjVEaB1aiuieu79ktnw0ZTKGck7bnpyXjJEUF9z3v3H+U46Nr1kVYMF7maW+3bvK
+Rl+oBGek5GvUD1UwBlDW8Tp5s/gA0ndN/l0PEP3AWOhku4CBlA6rZDJDOd3XW8k
aoMxYgW2DW1Xr6mbQTKhkHc3A0ZgD/R6mRt6JVb0BzbceqoV5SVKxPvRIUGFspXp
6VmDAnIu3OzHe6ZwrFeb8wGhJlbF3DMKjXH16jd09zZyrwL0S+a8B3l9HNtjV6M4
Nfj9XDmn1CJfCINxz0gHUjyNaf6hTeN49kruTRlIOd8sfp0Gi1TGnn3R9LWIU5lO
DscYACrsiBDkqHTRvmlAHFii14jsGjjwgZv55DZa2Qm0+3h7m5pP9fH/4Mpf9z+F
vNPaHxRReDlvcSyAT/U+hET4lqmWHgzNxmQDZA3oIRwsXI6wevlo+KN4FxlWG/Dq
SuFGYWvXgyuESxkQcB4VHgd9U9F8C2pawr6kGxzl5ri4WMXb7BF0w7fi1E3uX9fh
EMHZlCYaRgDfNvWTIn+e+XuuAPnYSP8mfrkWjwNUxM/QGjD602ULSBhK+hV6LBH0
s/UaA8fMdRbSGUcl6asMT2xKFL1Nk9AWi+mt2OuQFY5TKFNx/hRoPUCm3AOzfHTG
MlGcWmUs
=X/yW
-----END PGP SIGNATURE-----