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

  • coq-elpi_1.13.0-3_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Fri Apr 1 21:20:01 2022
    Accepted:

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

    Format: 1.8
    Date: Fri, 01 Apr 2022 15:30:44 +0200
    Source: coq-elpi
    Binary: libcoq-elpi libcoq-elpi-ocaml libcoq-elpi-ocaml-dbgsym libcoq-elpi-ocaml-dev
    Architecture: source amd64 all
    Version: 1.13.0-3
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-elpi - Coq plugin embedding Elpi (theories)
    libcoq-elpi-ocaml - Coq plugin embedding Elpi (runtime)
    libcoq-elpi-ocaml-dev - Coq plugin embedding Elpi (devel)
    Changes:
    coq-elpi (1.13.0-3) unstable; urgency=medium
    .
    * Split the package, giving one more binary.
    Checksums-Sha1:
    6f3f3b12f02d676ca521d996dcb76834313f64dc 2146 coq-elpi_1.13.0-3.dsc
    05568366a9adb3b3109c7032ab91eff0e858b4fe 2916 coq-elpi_1.13.0-3.debian.tar.xz
    70d7a40b095eb76ea2d98a360b2a4851d87a334d 8373 coq-elpi_1.13.0-3_amd64.buildinfo
    2adb5a9301bf385bc8fa7de4ab31a931c121dcdc 230560 libcoq-elpi-ocaml-dbgsym_1.13.0-3_amd64.deb
    88ad8bad99f58f88d434f1b0c47dba6818e3da23 1289448 libcoq-elpi-ocaml-dev_1.13.0-3_amd64.deb
    261971264542d0f16fa26f925d8dc54e94f8411b 3563140 libcoq-elpi-ocaml_1.13.0-3_amd64.deb
    4a964751025cab1d9249caa2ccdf628a43dc0854 456316 libcoq-elpi_1.13.0-3_all.deb Checksums-Sha256:
    edcb4666a10b8c50c95fe5559079a9b514c5b6063240d3faca83ff8e416d935b 2146 coq-elpi_1.13.0-3.dsc
    8321bf6341d09d32edcfb6e0047b16db95ec0e47413928dcec4d56ba732b9aa2 2916 coq-elpi_1.13.0-3.debian.tar.xz
    324792f8b50da9a6aa6feeba8d7c690c4a12e3ba05e2c99a1cdea02029f22744 8373 coq-elpi_1.13.0-3_amd64.buildinfo
    ec5c70a40a99580f596d678649c65dbc5ac6ffdba48a1a99eb0c6fec9c9bc5c8 230560 libcoq-elpi-ocaml-dbgsym_1.13.0-3_amd64.deb
    acf5a7af7c4e27463b81a0edff1a22bf3c96489f1c31865474b3d4c176689673 1289448 libcoq-elpi-ocaml-dev_1.13.0-3_amd64.deb
    7bcb6bf578b39bd7ff17d3b26daae14ceb0c80a2e6379efd3beaea55259a6e00 3563140 libcoq-elpi-ocaml_1.13.0-3_amd64.deb
    bb195bb953f3915ab382dda67cb3fa290bdcf5f86d751e66cc11a745c6a84a57 456316 libcoq-elpi_1.13.0-3_all.deb
    Files:
    0e8e484fd5b5d92bc979ba8a178449d5 2146 ocaml optional coq-elpi_1.13.0-3.dsc
    1d1f1fd5997ac8951a2a51cc1661a302 2916 ocaml optional coq-elpi_1.13.0-3.debian.tar.xz
    d2d10da51da9234887d1e032271c0a46 8373 ocaml optional coq-elpi_1.13.0-3_amd64.buildinfo
    d76f8ca225dcefe05eea211cdb42c847 230560 debug optional libcoq-elpi-ocaml-dbgsym_1.13.0-3_amd64.deb
    d8984639538ee7a4f70c2f96d2c74aa1 1289448 ocaml optional libcoq-elpi-ocaml-dev_1.13.0-3_amd64.deb
    fa6b72c01db4c2d48463be2117ea21d3 3563140 ocaml optional libcoq-elpi-ocaml_1.13.0-3_amd64.deb
    5672ac3396583b066d6acddad739725a 456316 ocaml optional libcoq-elpi_1.13.0-3_all.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJHA+oSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRsosQAKFxnvp/nvMOOm2P8h5az5p+nu/+0178 bBI43LbqTsKAxCgWP+0Kt2ks/yBb989eK/uUC3vFi2mGxEajjtN3SQkpKafbfXvq hFKL1sfTIDyNyfKNFdromS+3BJEpZz+ela6HNgaSTnCfzhPzjTk6l8aA6nPrEKyq 1LG9qp3efbmp/t/BOWOCbgkm8b7uobn0kvQ5y8A0o6hufPBjGAX1mun9nVxDL2LY 6tyLhYfsx7T1/m+Jh6mwjg2f2sf7V8cHTToUKWq8w+tRLuRvZUE6O01TiekSeMRn i3twTSW1N8PBouR8hBNkIDgQVzomMkRTi0zuu1dXImTUB8hdRsEhmwx976q/IYm2 W0/3jmo/Hyz2E22aemOaNIzBrjeBezmPQWiTRzTl8kZEILvmt0ODBXxawdFNG6CC nF5ILeFC3obYhbMBa976R3lf9ss4VTltjBjm5RAo/gMsuDoj4urwZsjWFnDEz00R oJv7Pufk9KL3JB9Y4+aokbxoHLaM+xraMX8G9C5i37X5oeGxqvDMiA+dL3xsr8+s dTIbn20ENHYueAwbXhuy3kUTyOdXU3+KKCK8DtSwyOx1cHunAJX0G3heYUiAl16T Ns0dy20p+F7RHGmQ7O0moHfzmZWEeBP9jkn3G0s1uutIL8QlWELVhfbOhjZPw1Of
    rXEAZ+UsbJyW
    =6Fn/
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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