-----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-2 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), 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: c505cfa8e5ecd2798f20c4f6d8489296f0bed678 19988 haskell-copilot-libraries_4.6.orig.tar.gz c8b28eba0bf4755f9436747e9a22c83e98a75eb8 2636 haskell-copilot-libraries_4.6-2.debian.tar.xz Checksums-Sha256: 9770c6801c57f524ba224d9c6fc2364d3516c152cb462daf15378893b0a7ae8a 19988 haskell-copilot-libraries_4.6.orig.tar.gz cf8e774638b6068e446b5e6f9c50344d7c421e5a5029416fb9ad5c3890313f0a 2636 haskell-copilot-libraries_4.6-2.debian.tar.xz Files: 448accc902a640c32a763da4be4f1756 19988 haskell-copilot-libraries_4.6.orig.tar.gz 4ae846a2709172ce633dc679ddd98818 2636 haskell-copilot-libraries_4.6-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmmNT7MPHHN3dEB0ZWNo aWUubmV0AAoJEFPVvGS1I3iiqOAP/2Ste5Y4/XnwDeuo4Sxuc3oePpMAydX52Xn1 cNNUUFEFM2LjweLqP1zmqQIGf4ccpw33hlWoOV7N3CKMAj43d5RN5fXJHpglGesq pYoWjJhjRsI053P0qugtRcJiG694ywWiFylxPZDTpxofNwonPfupGHJ/H2wnMn0k +FiDQ2NJ9fNErdQpRtY61eTIej8lzVsQTmQF9pSPbYtZsz982FcRkxjbrw2KCIHs 1vuU2+/uAiefJUDeGB7048hbrc0PgWHBqVZAxMm69dqT7Qv7VUWY4a7qgtYZhlr9 auCBxUV0GIEpuOwXDNw5Ws9XaZ0Xt1MyZexMNFEstllDX/23SFD/+wqNe3Z3A7QE 52bvgctY+dSxJxyWFr3Lnl3Ea8J++rR25v53u3yw9b0B+17HmBI0KgGdTlWLr4ef pwu/rFEN0nl3X1ONLsS9MIzjaF3TmU0JvytWkRNKVGITWVOlpNnXiJIl0XfqMxNi r8zU0M53wEky1sQ+oQEGiArAH2/ARNN32QIIhgRBckxlD1XDPPpMzMpQfwZhRlxd pCZN0RL4T74ZSxF0JCGPmnFTFwXlB14dItPk0EncMqIif/JARYUkaZeAwpHKZs31 0+EMd2dAcCL9RAbt8Oc4Qub3SniYo8A0sfV4Ms7XGjrimMgg3rxgPPrIHNF0JI7M sOXyT45V =R5Mo -----END PGP SIGNATURE-----