-----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.6-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.7.0
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-compat (= 13), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), dh-sequence-haskell, 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.6), libghc-copilot-core-dev (<< 4.7), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 4.6), libghc-copilot-prettyprinter-dev (<< 4.7), libghc-copilot-prettyprinter-prof, libghc-data-default-dev (>= 0.7), libghc-data-default-dev (<< 0.9), 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.8), libghc-what4-prof, libghc-xml-dev (>= 1.3), libghc-xml-dev (<< 1.4), libghc-xml-prof, libghc-hunit-dev, libghc-hunit-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:
 a239a638fb503e61e3d869a7198684fc2468d269 71525 haskell-copilot-theorem_4.6.orig.tar.gz
 d63fbbb06bb3c6f8c914b6126fb10f9cb7de7d0c 2888 haskell-copilot-theorem_4.6-1.debian.tar.xz
Checksums-Sha256:
 28efad628a931b8158fbc2d7227afb660daf06dd7dec0e323ef8d564dc44955e 71525 haskell-copilot-theorem_4.6.orig.tar.gz
 025be07a91e392610e85b183fed1a4e226f205d736c01f6ca1cf7ace8d1a52ce 2888 haskell-copilot-theorem_4.6-1.debian.tar.xz
Files:
 45668134be6974c8284072fb7c750f97 71525 haskell-copilot-theorem_4.6.orig.tar.gz
 212f665be7de2547221d5ae533e75c38 2888 haskell-copilot-theorem_4.6-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmkSjqQPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiGg8P/3UPctZ+v2QsMwMeF5DQ7i/By4OE2Q8NKmf+
P7i2Eltofg252Czmh/3k7D/NkE/OaBazNIMvAmsNaTrIGC5aO9seqd6emXGUgsi0
Y0XiwFtGPc7aHO5HJQeouSdpzLkP6WiyAMtn94PKVE1zdswSsfNbylsmxyIKPyfX
ao4u5xKi5rdd9ngWrxBfhJbK1KnJAd84Vglgb5Kegijf33UFYkiRJO/IaGDKJ9A1
N8XAU3Y86qVVPkwcDmyuYoa0GBOi0C5++5qd4Pg0Rhx1o/97lruKRl4XcH8jmG+C
v0JtNXPXZMtO6MCflcED9XatMLQuKHEe0s+5qcRNsiTosn6C9ILDmlnZ9MmZo3oi
mIJYWXRVUazgUhJK2ZZ1PwRORifd0y6upMT8Pu3Rw82Hk3QzZrzsdHBUilsHyb3+
ZtYswxAC55YG3XHYXBHR9ZXFYGrEg7hrktxfMoBGcsdvz7chJPHp7iKnqLjkJO1T
ND/imLK448F0fJ2FGUFCyDWdQAQcwxugRtRwwMHS8UITbzTnOS7DTpamZUpJnLce
2HR1YOUgrfADyR3lv7O1dCzJ5BUMKReDc8buQ0DSGQyXSU0hyc3x30PC2mwJvx84
SkoL66TQPSwj0TFN592sl5zF67Z7OiuHGvxMMVU62/A3PlWO7CbzioNySNymSt8Y
zU+UMOV0
=LHfz
-----END PGP SIGNATURE-----