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

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

    From Debian FTP Masters@21:1/5 to All on Wed Jun 1 16:00:01 2022
    Accepted:

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

    Format: 1.8
    Date: Wed, 01 Jun 2022 15:13:31 +0200
    Source: coq-elpi
    Architecture: source
    Version: 1.14.0-3
    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-3) unstable; urgency=medium
    .
    * Re-upload because of broken ABI.
    Checksums-Sha1:
    8fbac9c8f5253de58bfe5c9229ad688abf5f0be7 2142 coq-elpi_1.14.0-3.dsc
    791f2b6740ffe55ccc19bc186ca807a2fd8c8ab6 3172 coq-elpi_1.14.0-3.debian.tar.xz
    a5c1c2d829549d98cc2473f12e6469c60547c190 7201 coq-elpi_1.14.0-3_source.buildinfo
    Checksums-Sha256:
    031b005d82f5211d4239df9ab4f6f223216007d0f1f62feb00beaed2e32069d3 2142 coq-elpi_1.14.0-3.dsc
    9a701cf653b864d53eb93428c913b19ebe2d0eafb58133e61f73d4bd8b63dc7e 3172 coq-elpi_1.14.0-3.debian.tar.xz
    5271ddb603c03234811fe7beef8113448833cf6a35deaa323a8ed2f2395d13d5 7201 coq-elpi_1.14.0-3_source.buildinfo
    Files:
    d7aa2c47e9be99bb021507285572cd2e 2142 ocaml optional coq-elpi_1.14.0-3.dsc
    f6ab3078913ff67e84a179802b745eb5 3172 ocaml optional coq-elpi_1.14.0-3.debian.tar.xz
    b7e1ef444053176917cbbb74976e1871 7201 ocaml optional coq-elpi_1.14.0-3_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKXZwgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRjukP/RogkBZu11io5kFzP5/ytmOxseyzu5ur hlpjYWHOumuYgjnldY4YYKjL+qerDZ2+O0WsBm73xyFQNu7kkfjKuzJYw80jz3+T QtREQs89E9/naflj4FqZ902BkVa4cC9EfKLj6lZdgyWwMUA6goMwJB0lWcZDRuQZ Qo7PoEJA4dCFN3NCuwbCfVFxD5Vh45y3yg8pvRmcBrQyNhLshEgcEHksRmQ8BkVx hkewmGNl+HPoyiYYB/y8XFvfuTapwXD8wU2YHLxyQHjWs8L0xKpQahWCFD4+qv8l fgo4V04ZrmOYdt+ZlQ2+QTu2HWlEQm7GmKBNrIgCDWUKw/JdLDgUEXE4U8J4mibb TirEM+xLVZlPEUMqAAfV7lRwCNvKxa7TvYoMefP5iXLth+mkCRaXjkvEENqGYrxs qaw7NZ2FvJldhEZaZuxorcGd4RVZ4shCxG+ptMDgxcGufkB8luWB99YYWwPogPJE zy9WaXgi2qvdY+CQWVbGGXysSUEoFUREbRUmofOn8wWbFkOGp0pdNlPM9Cdfjtc3 1fYgX0/QkUjh0iYvF/Eith5napqeb76r4Inf9WzF8d7llOt1o2w5fz8+IGOwl8PT d5zGYGcLAPX5zHCqlMeIHAD2sghIFQStCiGpBNC/ooDe/JdoOtnL3UEPD4byEEmG
    AAWed8szwRbH
    =vgap
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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