• dh-coq_0.8_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Wed Jan 31 15:00:02 2024
    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-----

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)