-----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.19.1-1 Maintainer: Debian Haskell Group Uploaders: Scott Talbert 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.19.1), libghc-copilot-core-dev (<< 3.20), libghc-copilot-core-prof, libghc-copilot-prettyprinter-dev (>= 3.19.1), libghc-copilot-prettyprinter-dev (<< 3.20), 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: 2e9d1b257094499b1ed74dd7acfd25ae937834d7 64673 haskell-copilot-theorem_3.19.1.orig.tar.gz 4b00ca6ab9566bdffd7802477dba014268e301c9 2844 haskell-copilot-theorem_3.19.1-1.debian.tar.xz Checksums-Sha256: 3027c2077dbd6170bf6d500f2f930d5efb74758286517ecfc58f3d9b03180e63 64673 haskell-copilot-theorem_3.19.1.orig.tar.gz 4dfae0d0571526dff718b314804c85e6daa6af6738ffeeac513d6da92329b493 2844 haskell-copilot-theorem_3.19.1-1.debian.tar.xz Files: f536606498a09901dd8831a60944ecc8 64673 haskell-copilot-theorem_3.19.1.orig.tar.gz 7efe2b9f2f1a437d5235a5a6d4576a80 2844 haskell-copilot-theorem_3.19.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmaMqDcPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiR9gQAI4/nfC6VTB0UWVeWdVqvNMJyOSe7k+9RGOm APS/MmkGALC0ENhxPx28Qq64DrWdQL7Yo6dihAtuEl2sbI2qRdtGBhacAkg535VN ADz/8/oNjmVPyrtSsjbSB1ZIuFRMB1vtqAga1+E0ZUqC+aGSiGqax0ThF8S3tJUj Jj8aNnIb/pfexe6OKvUXJi47QRYmsQ3YUekdaYgY+KoAyJOjW3ASAXjPD0Nmtgel R5SdnXYvGlcCL7cbLiSJtKu86Lc2VLH/hY36DDAAY417KfVFOgzooICEzLSvl/i0 UZ+t3K6oPubm0GfLR1yxpjxEFAnxBSFxdXsJOORzNjJHiM4Zg+gSpeVTSbco9kwT YCKm6dYBIFj+Aui6YWLmJaFDdFedBFDXwkHfb/MFNH/CKvOTtJTZocvzrnxr0POZ StgCd+bVc4zdVccwhiQQtziwn1UDPVzLCFfwY61QobSqvSue/qe53nXdefg0BKff Vv+6xnvaBqmjFR/cECWeCS0pD/BWXU1LY7kBjxSv1dAOOqsfhEq8Lk5qrgcqBor8 zQ5G7XHDomHj1MjzwLgtO+EC49qDeSLpTPfD/ArvW63fJxEThk95EFjIaxDVvYV3 Yo2Woj9YfkfRz3cg5oBoXlfgeJKb5/HInqOY/nNYImFLQcpIdTV1EufgDE2Cybs8 +esldXoG =Oqfe -----END PGP SIGNATURE-----