-----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.6.1-1 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.6.1), libghc-copilot-language-dev (<< 4.7), 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: 052192f536e6f58549855f9667b41269cd897c54 20010 haskell-copilot-libraries_4.6.1.orig.tar.gz bd8a2d6e4a9da6bd45b4cdc3453800c28d20b4b0 2644 haskell-copilot-libraries_4.6.1-1.debian.tar.xz Checksums-Sha256: 6ab8639627cf8a9f27e226faf6fdec6d87b6f2af95f8b279522fdede59129255 20010 haskell-copilot-libraries_4.6.1.orig.tar.gz 8f7e00b227a559fddedeb11b6151973018c9b93ac4c65c87ecbc7bd4b389e3ed 2644 haskell-copilot-libraries_4.6.1-1.debian.tar.xz Files: aa2ee1532a486f50b15468a2e7fcc8a7 20010 haskell-copilot-libraries_4.6.1.orig.tar.gz 4bb5e9eed363e77a5ff8de72cabf64e2 2644 haskell-copilot-libraries_4.6.1-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmmhDMIPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiZfUQAJG/UiwDsCBqXzi/9DMQV5lf8DAgf9ce7NKc VqZicTrIKffgV16A2uPso2xudhOC7KcNAHXqQdEh9dcwuqqcXnrd0XZpEvX3nBP7 De1MCWPp//wDgPR3P1gZ77jglaVrdeSCHFtWDsXR+hbsWqDNdhpcyQPVphdzruev hP7HCQcmU/rcvgxEoQpdsEp/6sDoEj9hN2TfEB6BFsWg9kLh0pILs46decXgVWNo LIM1mmhjsvWGuskbuSXUijvyOSZelzeuaVwP4OTLPXSlY9PcltiTbQl+krvn5rVb 5SGve7BVbhkqk2c9EuHFfKf81sSq0ne2Yxspo7nKbVkjK46sxLZ30/TjhyWiiF+U k89PfV8k3xXiZZMSF3KexXeN0GYxc4uQjm1vfV/zWHIk+vGYihmfWO1DmO1bEZp8 oZIU/qy+FibZwqXiUr0l8TZmGtZagNWC5nQzVdA3xd6FI9d5jCMoVPaMUWiK/R9I K5IbwrGNAj/ESbX7UEqUsXNyUl1CMZ4vMlbFQxssL0TvlcLWITnyJ/q/W/F5ZTG8 K7MRyfgijoFftQyq/GJKpuVwiXiL7tD4X2ZekgX04RitPJ3jYuXLeT7ctUXBi1kD zxAbCzt3D8KJUBUwFtr1hwi+wYW8yhObKwSZYsp5CYzhXpLmrVOe06t1iJc6jm02 tSKcAiA7 =CfWG -----END PGP SIGNATURE-----