1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • coq-elpi_1.14.0-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat May 21 20:30:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 21 May 2022 19:43:46 +0200
    Source: coq-elpi
    Architecture: source
    Version: 1.14.0-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-elpi (1.14.0-2) unstable; urgency=medium
    .
    * Re-upload because of broken ABI.
    Checksums-Sha1:
    dfe4fdd39859561c016381ffc0c358675e0b398f 2142 coq-elpi_1.14.0-2.dsc
    76002abf616ed33b0bd327507173f249fe3e1f78 3164 coq-elpi_1.14.0-2.debian.tar.xz
    cbe16f3439cebfffa744ae4fa67511ed84969791 7206 coq-elpi_1.14.0-2_source.buildinfo
    Checksums-Sha256:
    d99c5c8aac3333fec9d0e8f72b506eb5a77efc0be96372ed89600f8138285c79 2142 coq-elpi_1.14.0-2.dsc
    bc5688b1973098a0729ed14b1dab03b26335b12c5834d8ebd7443d94ffbee867 3164 coq-elpi_1.14.0-2.debian.tar.xz
    3988352489a97231e148a133449690f59e34c41104c2b28a90744eddf0878a08 7206 coq-elpi_1.14.0-2_source.buildinfo
    Files:
    7fe11ccfe60fa7617aba9f0a6047d69d 2142 ocaml optional coq-elpi_1.14.0-2.dsc
    b9c287680aba43831d0dcb67e3f3eafe 3164 ocaml optional coq-elpi_1.14.0-2.debian.tar.xz
    ceedbd7633dd4b3e3fa2bf5522c4fb64 7206 ocaml optional coq-elpi_1.14.0-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKJJRgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRaUQP/j4xZeY3Udby3gWr68P/am1WHlVMMNEf Dx3z3z6XTHnBwHWdue6LbsNJMYaRYiA5vU0wzYtP1sZYgI22ThqdzZPDxKchitrZ IG26Z+SlTY1K3PT03dk3qYkPE3eAZUiur7rU7C2EfVimjM3BkQHBb4u1TpOdKK3A DkVqk5ph2mxWzJaIOH9gSKe6ygg4E7jbQqQuBxZMCBkFEuHdM08uw4ZfWOdwvv73 8f9J7WXqVf+WIkwsfN/l8KO4S1Hxy+QQI8Vz0mBn9Hdyg1eBdnIyW+MIIX+mh1Uo fP67qBy6ULQpBNTv9OAbprVAJCp+3qNv+jQKiCUmzbMMz1EG9mj0VgIsydQm+4El iNpleKJKUZtAXQpYW5K6FFYVn4D/emMJu97EHLL0WfCTlPrDE202ILc9Gqtj51qy uVV1P89KfYoy0TebnHcm4ZvwOOarJw389HW22AlOs2cwsHZ7CEAaztX0eyRfq606 BiazHHZjCvzzxImf/2bJAq7CHvG829DQxdiWa26rJe7PjgoVgkJ0sprJx7Xi1lSt aXMmQPe9xTqjMj0VPSgqo9Fbr58Xc2vkBOm9jVmZ+KuXuf3mTFbO7jV+wHAXmUiD jInlTVPoaxSFSMDGrZ1nRqOtRZxnN0QCXN1qGGRLhYY1Rds7kQiyNpqVndaT8bgi
    iRmnE6cr8PUs
    =ul/s
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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