dh-coq_0.8_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----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-----
Reply to: