-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: haskell-copilot-libraries Binary: libghc-copilot-libraries-dev, libghc-copilot-libraries-prof, libghc-copilot-libraries-doc Architecture: any all Version: 4.7-1build1 Maintainer: Debian Haskell Group Uploaders: Scott Talbert Homepage: https://copilot-language.github.io Standards-Version: 4.7.3 Vcs-Browser: https://salsa.debian.org/haskell-team/DHG_packages/tree/master/p/haskell-copilot-libraries Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-libraries] Build-Depends: debhelper-compat (= 13), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), dh-sequence-haskell, ghc (>= 9.10), ghc-prof, libghc-copilot-language-dev (>= 4.7), libghc-copilot-language-dev (<< 4.8), libghc-copilot-language-prof, libghc-quickcheck2-dev, libghc-quickcheck2-prof, libghc-copilot-interpreter-dev, libghc-copilot-interpreter-prof, libghc-copilot-theorem-dev, libghc-copilot-theorem-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-copilot-language-doc Package-List: libghc-copilot-libraries-dev deb haskell optional arch=any libghc-copilot-libraries-doc deb doc optional arch=all libghc-copilot-libraries-prof deb haskell optional arch=any Checksums-Sha1: 369f6fc2c59b51a368fc83bc6b114d67f7081519 20015 haskell-copilot-libraries_4.7.orig.tar.gz 0de9357de89e84725b84e10168759cadb72d13bc 2732 haskell-copilot-libraries_4.7-1build1.debian.tar.xz Checksums-Sha256: 330e7037b3b0c8ad34efbcd30b3129a396e0d6fc3822676c8bc62f735eb69709 20015 haskell-copilot-libraries_4.7.orig.tar.gz 1db7e149d76d67bb8c9afc9c9f661b0ece39c4801d4ccbabb91ed759b0bb0d81 2732 haskell-copilot-libraries_4.7-1build1.debian.tar.xz Files: 4477b7235ea03209a564d6e80acca151 20015 haskell-copilot-libraries_4.7.orig.tar.gz 54c22ed2adf8e39ffb7cd2fee17214a7 2732 haskell-copilot-libraries_4.7-1build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmoxBREACgkQ808JdE6f Xdl89hAAoNYNxX/FscIPcfBrc6kA7LV5ZolsyK0zyfHOAOLwzNNizb3JYQHPbLyZ fFykbSG6TSzOdHMOs/z8ckv5a4gdOUBtEj86DRZpjGs9fQW78qb/n47AKYBWFPqk LBJ5dRO62mlxyvxwrGO6I4Q+OFiruC4yFO2X7SyAp4YlilFOLl1dIUtfqwk0IZOt wMOECxrak5db6cbs2WaiS+K1KEtawAM62wUo/bAQXxocxBYmW2j9oQ5+QElCahm7 dwwaPXnGlIYLTdg68fg05bgocYetpBbWSob0AUmoZ8nwuDdOV6zru8aaT35v9y5l NRB0D2X1XMsDeYtc1Qc3pVX78mCReBCQBa9JxfYWnXHuCAq7okv/NCUasbKL+RDg zObU8D7slY+mGU77JnEzv0MBPamsYWiryTAkbxI8DPmHisC2cVPgIbGIzHCmtUKw kp1BNH/mQeDnsQkBf2mgpkllXMMSy0/P1iQiBe2S8ZeDCQwRZjwqJ91tDBzjMil1 OGjf2d6baSvzLQhwDS8Cz0+5ea+65RJREcKShjKCPL+3UzA2ph+n1ZBNCX60eohH pkKkStGwvZsU0SOm2hmp/yFdSpNEP+UB40XZvqDMjRVt0ljsFAwkhaNY/vQmji2O yRAoLEGK6u0y3shI0Ve8DTOMANkmfT+qnZySjiPAEl1wOg4UxDs= =HQwh -----END PGP SIGNATURE-----