-----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.5-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.5), libghc-copilot-language-dev (<< 4.6), 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: b9548e51fae2bd525046cd1e3445734cc89957fa 19972 haskell-copilot-libraries_4.5.orig.tar.gz 0af1af06c9691e3d2d0a9cb75d597214d28275ca 2664 haskell-copilot-libraries_4.5-1.debian.tar.xz Checksums-Sha256: 9f86f891db20fd4d1f87f11b99bd8d2c2a71897e29f28fdc22039088cd3ed16d 19972 haskell-copilot-libraries_4.5.orig.tar.gz 4b7fc328703480140b855707eb2ffe0932281e8284cdb96520ebaa7b48f0cc19 2664 haskell-copilot-libraries_4.5-1.debian.tar.xz Files: 6ae7918a78eb7ce50c7ce64e515ca31c 19972 haskell-copilot-libraries_4.5.orig.tar.gz 895631563cc57d90d0a7d8de6f409e0d 2664 haskell-copilot-libraries_4.5-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmiafjAPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiiIgP/R51yDdvI5HSxkhPlvgLHuLV20f7742vv496 ajwrv4TTXnQbb1bnKJsgjjXGCuZ1CQvaTtidyO848a/J42JRDY7qaOwyivEr3wJy hC5/ac+UGb/KC7KvZUgXDUCoNdkF+O8zEnwmzB+J2wOTU0WfApTnhMr4HQAUsDBP MDOLbUmSyayxndKf3skIcGEkHsgufUTPT35VVsqp/KyUbyxfeCZyOe83pMnkv8Zz 9aHwn3Lqcym1S0tozp9CKp4+OJDSYduyRBcS/pCxs3NIbb7TJ1+xGqRr2C3mBfcu r1frqU3LMNf3bB4VrOV2O0yEhVXpO1F1sadsN+bk0o7SL4+UG5j/tcy6q3McV4M5 La66jNoqxtgembCYW/jyAzDqcLfhg0PDf9/vtUJ7RMXxDQ4T9cu8tRUAtHcT6ewy VMwqAKuCEeYtHeJfMlcbqJfDgC47C6Fcart/iz6aipANLO1/uOeMKF0ATx/blCwO PFgqho/SjDvefz+wyZldCv/HhlhHz4AQ9erXIfM0n9zofWQbJMckv2nSsvF65xfG w+aS2Az27VO4rP3n6i8G7UbNyZTNjrSUFz/NLd5Bp93qQoV7T/AddzHGQ51pv9+L jjWMymSjNqkvZneaUglUHzU0if8fI73Hwrh8NGco1dtAoY4eDCP/v6lkdTE335PA QM04JLxz =ahg2 -----END PGP SIGNATURE-----