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

  • coq-elpi_1.12.0-1_source.changes ACCEPTED into unstable

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

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

    Format: 1.8
    Date: Mon, 17 Jan 2022 15:44:00 +0100
    Source: coq-elpi
    Architecture: source
    Version: 1.12.0-1
    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.12.0-1) unstable; urgency=medium
    .
    * New upstream release.
    Checksums-Sha1:
    aad6ffc9ce2c7cb8fa62eacb79a239d5b3d01fa2 2088 coq-elpi_1.12.0-1.dsc
    3212ed18742ac35b9cb6ff706dda13f5b99e6802 348903 coq-elpi_1.12.0.orig.tar.gz
    c30e3799d19bb8cd4eb56ac775fdda8032a1d024 3984 coq-elpi_1.12.0-1.debian.tar.xz
    b764470cd8be34a9e22b2c33009ddca1cbe66e80 8092 coq-elpi_1.12.0-1_source.buildinfo
    Checksums-Sha256:
    78fe1ebd7e7d5c7c731b8978d550bfe71f4b08aa16ff3ac06e8f702b9b7913f1 2088 coq-elpi_1.12.0-1.dsc
    796225b6a569ca47ca2a2d6a7c15d1d57de971ef669bde7dd6321ce34f61fa29 348903 coq-elpi_1.12.0.orig.tar.gz
    843c1a67815b8651c1a12cea3978456423a356844f9bdb428fcd7173fd45f2cd 3984 coq-elpi_1.12.0-1.debian.tar.xz
    d1ba49e534cee04a6007e6b568c54688f3ac1ca1ec0d852308dec0cad1956fd4 8092 coq-elpi_1.12.0-1_source.buildinfo
    Files:
    7e05541125ff680cf7789faf5fa251f0 2088 ocaml optional coq-elpi_1.12.0-1.dsc
    e2a728e5aed9d9677ef04cf24b411a44 348903 ocaml optional coq-elpi_1.12.0.orig.tar.gz
    cfc734be11495557800dab73d2b2d14f 3984 ocaml optional coq-elpi_1.12.0-1.debian.tar.xz
    d516d553d2eafdc602be9f1ad33819b6 8092 ocaml optional coq-elpi_1.12.0-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlgNgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRXxsP+wcYQXbQiYiSdn/8+yiT4Omph66Oz8ES VXkYRe9jnenEpPNgHjG6yWAHSlzdrkgV3JBdK3hGuYXOUB/UDyPAjzWIyve3LBB7 4pUyJFcmO5TmQmBzXltzmQXtrSrF+F2N+ohylbLsA42XsBKtSP8NfxuG5bzPyFBX oGrWn53UlXlK00XAkv70bQC38tsbQrOiAMYXhkMzBhif9CMYQBqgMuo1Ev/nH6aD JjEh1wtZS00jQiuWunSmJYrAUJadaLnVFZflv0Y+By4tTbxo8clnpmGYT7gNW9Bh FDJRCAqFtVrxm7O2+gUibK9BspuI9Hz/v3JQxT7JTNrnIw8rs/SY/iDbgsJfzNg4 2Aeik2bR5BNRkMIRgx2tM1llsudv7hlwmOz7GHMmAfKgnS0gKk/+eC6N15qPv8OF X4yDNGA2L5U1+EW9y23/8k1oriyp2CuO4Ca771NwzC6JLzklWvmEZB0W5PqHX+pP ykTNwQz7XKOH6F72Jiesq9w9nRojhrybfbpUn8upzTZDF/f3q6u18oDH1NbsxIiC SOgqME2McvgGnUmdyYTdU3EcXijB/aUtsdr7gOZqOt6p9Zvs+R5PD6ddMOeXZEH1 7egUx9uyIP6WKvX9QAk/O/2WilMzj4oGMpQMghrXZJwMBBBrrdY//NfeyLEUwov7
    UQTJ9QmxOr3j
    =63DG
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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