-----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.2-1 Maintainer: Debian Haskell Group Uploaders: Scott Talbert 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-libraries Vcs-Git: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-copilot-libraries] Build-Depends: debhelper (>= 10), haskell-devscripts-minimal | haskell-devscripts (>= 0.13), cdbs, ghc, ghc-prof, libghc-copilot-language-dev (>= 4.2), libghc-copilot-language-dev (<< 4.3), 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: 67836ccc2e9cb77f1574a70e8e3001481a92ee42 19985 haskell-copilot-libraries_4.2.orig.tar.gz 0518e78f8d835d298e6d3dc17f1c64937eabd6f9 2632 haskell-copilot-libraries_4.2-1.debian.tar.xz Checksums-Sha256: 9c2850bb5b3dd918b4ec1365a9fe41ca5c9517fa71bbb667b5e98ab349e888b1 19985 haskell-copilot-libraries_4.2.orig.tar.gz e3f12b5073fca7305c35946dd6f73bde728d3959735c218b1e12d3fd80743625 2632 haskell-copilot-libraries_4.2-1.debian.tar.xz Files: 2ee2c05248fcf78064bdf1ab8bbb2ce7 19985 haskell-copilot-libraries_4.2.orig.tar.gz cbc76bdc8e960c778bbc82fad5e940fe 2632 haskell-copilot-libraries_4.2-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmeRgrsPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiHAYP/1qH1i5Hq3Mg9nkD207p2CEWFf+sgNLVj2mv cmvhqSb3TrPpMbZc0koeI36vPclS3Wh/lXhuSGko2UUVwasEocNKDvU6HUL0m3Ho 56yjbaHDe7pvmML+qKF4rKD3K21MYbFvASI11rgS3AFo8o6/LFK+JCtnoU6lltuL l0mQknH0Oq4rD61IBG5OwU0kgE2zNA5M58wmLEIuHv4NJhxQg/l4LzD7Wu/Zy97s 0r4WBCnu7JaFo8GeZ2VdG1VnBEKaPi/u6e5yPvV3Ic1foR1o7PcwUOi1MDsz5ajm 8jltTcNFQVQxgPHiDary0pI1yvrZKtAEd0m2rflHvUO5iLDHt07ad7oJO/ES2152 KhK0S5dnDplBQbxSqwwWFNsW9PZuqNnAWTjEGX7nuXlUvgzs+pyBHvru9D8AZcGr EKy0eBAt4AkmxfNgupb5iYMkyhu8hX7TE9wvP2EPxDHTuo/DZnwtqFPgpoq3TqB5 5ibe5m+mreI+/ERWbSXTVRfDb6ZudPjSQOahTiXTCzqVWSM7t+52LRqDnp8Culh7 KWXRALFBZWtz4NvxQGTKZVB/d0LPNlMsI3VHyU4So8q+AJ68VZSyVemhwzGmKzwq T1j4ZDXkSLdT2eZtryCi8Mb5ykMZT9eAGG3RLL+ZyQ4pySzYXFyBCMukLjwXdcDd de9cWVxB =5VBU -----END PGP SIGNATURE-----