-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 31 Jan 2024 14:11:56 +0100 Source: dh-coq Architecture: source Version: 0.8 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: dh-coq (0.8) unstable; urgency=medium . * Fix coq-wanna-build so elpi is correctly handled. * Add coq-check-packages tool. Checksums-Sha1: d0197cd391505e8ebf28744b44045bd7872f103c 1651 dh-coq_0.8.dsc 484967710d5eda7b2b6ca802646adbb95c82d2cf 8444 dh-coq_0.8.tar.xz 1e61680b27cf42c0d3ed3b6cf040cc060eda0c76 7165 dh-coq_0.8_source.buildinfo Checksums-Sha256: 117d5596003b83111548b0e76c488b31c77f2523cad703e7035dd9f97c0fbb09 1651 dh-coq_0.8.dsc 6612fd142857070d82e1ec9ad1f93aec2a18b498b19647d7ebda70ffeaa8981b 8444 dh-coq_0.8.tar.xz 76683cc9ef5ae5ae7d82d70ed0d696500a035536b53ab28b59fa78f368d75a20 7165 dh-coq_0.8_source.buildinfo Files: a88ad8716277f7bf2ee7f2cb60bb1671 1651 ocaml optional dh-coq_0.8.dsc 37fe6b6fcbc436a0fc12537f2ade9297 8444 ocaml optional dh-coq_0.8.tar.xz fce52df43833922c5f3f9b95e572d8b6 7165 ocaml optional dh-coq_0.8_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmW6R1QSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRyc8P/A4UScDMAy6rNzHdv+2CmsThvgdgIC65 ZJ+yF+ynaCVwtgbE+ecD9MzmGUG7UcLC1tTsQUaKfslhyXhTmgPqr3q3IfleQXTB uOJUdX/KOu0zxsRL3s7OlIdfCsN9SAS/kjtPTWHVg5p6HOI2kb7kSUiiv4XALCEf KJlCt86Ka+3F++Bepzm8zO3IDFl875PS8+oVFaMK+H9aAzA1r1DLKWEtK4Xp+REs ZyNiCnXqSSBLqMsnURBgaPdqSnKhZo5RZZdx7feB2CPlEvrvjICl/3UdT6UyumGV SC0FhY3BCtGs6KFHuTRcDl3ZhEovy7hSmUNfr1PwelidaChPG3IRfT6zau8CWNnu EAgocVBZ1jOits+fsW/3NRB4NGOHAv+xeD2Q0cHtfueThIFug2ke6Evi7/2gLH7L iEJD/JsTGgoch+K+1gzm4ucPamQUfqKEf5LyJiwvi3uDa+1Ole4KIrwGkxv44erO YfgVciXdN3hCyAgphzgB5cSxOIdavzGmuAmibVplyUfv3IhjjXI6dl8DESa2c7nk Ar/8yNHAXes30s8jSMTUl4WYAi7Zw1iAQtwPGA+8hN7+Bwz1c7c+i+0xu3Zd4tMu ZMvCo+z93UUGiXnJsmtGmWB3plDWBtrKikbJUMFucIIdkhsAO5k0v2V8EBfSrayC RJuR3quJDRcg =8uew -----END PGP SIGNATURE-----
