• coq-hierarchy-builder_1.2.1-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Mon Jan 17 18:10:02 2022
    Accepted:

    -----BEGIN PGP SIGNED MESSAGE-----
    Hash: SHA512

    Format: 1.8
    Date: Mon, 17 Jan 2022 15:42:42 +0100
    Source: coq-hierarchy-builder
    Architecture: source
    Version: 1.2.1-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Closes: 1002930
    Changes:
    coq-hierarchy-builder (1.2.1-1) unstable; urgency=medium
    .
    * Add explicit b-dep on libelpi-ocaml-dev. (Closes: #1002930)
    * New upstream release.
    * Drop patches (obsolete).
    Checksums-Sha1:
    552f35e2483bd1cfb136e94e79bff55d3b533e18 2215 coq-hierarchy-builder_1.2.1-1.dsc
    045f0a087b3ca5de100a546056e9ec14faf3b09c 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
    10ed51699b320b11641fb76e2547770ba75f1623 2628 coq-hierarchy-builder_1.2.1-1.debian.tar.xz
    fc736d0da7ce361ae23e4a733e75b50f6bdacf3e 8040 coq-hierarchy-builder_1.2.1-1_source.buildinfo
    Checksums-Sha256:
    80d9cf68e774be42bf74faf799383402271abbf61e64158014930b0a60b8a24e 2215 coq-hierarchy-builder_1.2.1-1.dsc
    a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060 188565 coq-hierarchy-builder_1.2.1.orig.tar.gz
    87776b4928d906a11d5a96317ae68f7b05830d174a72c2ebb481013f499a215d 2628 coq-hierarchy-builder_1.2.1-1.debian.tar.xz
    581fcaf0a08bd553371e8149cd078480e2cc0b1ceda50820984beb316f85d6a9 8040 coq-hierarchy-builder_1.2.1-1_source.buildinfo
    Files:
    81ca6c337d9368385fd813e95699f2c2 2215 ocaml optional coq-hierarchy-builder_1.2.1-1.dsc
    d58be118c53633852c814eb042f67129 188565 ocaml optional coq-hierarchy-builder_1.2.1.orig.tar.gz
    000ed56d5b26a77511bb762dbb5319f7 2628 ocaml optional coq-hierarchy-builder_1.2.1-1.debian.tar.xz
    65497eb189670ae229d082ec0eebca39 8040 ocaml optional coq-hierarchy-builder_1.2.1-1_source.buildinfo

    -----BEGIN PGP SIGNATURE-----

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlgI8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRnAAP/1yDwKxyiz5ajZpiXEZXPubnzeUjzr6Q iMqNCfIWDaGNQEtUGp/jxZmRc9HkzTDYI03eXMSxYBTxNupH/+3du8+/lJ/3gwHz IWtsez8I64g3a/ceproEXSnj1LRpU6ztqO+EDKLBY19Yst8cFS38MIcxz80rVFSW 1gKyeYYRygJJXuzRFquvuldZMKcWoB+0+ri/ye1seIWWbXT02P47s5vEKncZZ2fR uN1JkfGh4f8rMI8S/ganHcKEyrlgQrNUIqo1rIUWRLFYS0yzWTlzsecUxUbr5d/H Imr+4ShH8olW6bWUVqAMG/svw+5u9ThAdkwx52xUukNMXeg4cVXMo2IQUyiQhmzy SdNvvvPD/yPBj+6nr+S518uXFITe3d48n1pBL344OO9TWZoMVTtNhHHE+GPxrVEj xN9Wh4B06R5Mj6evYVAlsy1lH2zn2C/MKVEdMxPBEUtMsGdeVPgyU3e6pcqvuyr9 kLjwqDGIWUJar+tr+GJedxGE+8EzI11ev0RTyQRdPHUNpYD9czdtExdr2icOXnpY +w37SdEVWq+APn9a7KYNUqskJ2o8C+VRzrKsVItMSrEFGPyRdfyneqoSUan3XzcQ /M4NfdOINl5jFRuwNyHwDRVYMZCR5rO2sOn3cOsHcL6CnCLK09D4TCxGagtx5FLa
    feAdX8ZBI/qe
    =3KkY
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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