• coq-elpi_1.11.2-1_amd64.changes ACCEPTED into unstable, unstable

    From Debian FTP Masters@21:1/5 to All on Fri Dec 17 20:20:02 2021
    Accepted:

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

    Format: 1.8
    Date: Fri, 03 Dec 2021 09:02:11 +0100
    Source: coq-elpi
    Binary: libcoq-elpi-ocaml libcoq-elpi-ocaml-dbgsym libcoq-elpi-ocaml-dev Architecture: source amd64
    Version: 1.11.2-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-elpi-ocaml - Coq plugin embedding Elpi (runtime)
    libcoq-elpi-ocaml-dev - Coq plugin embedding Elpi (devel)
    Closes: 999483
    Changes:
    coq-elpi (1.11.2-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #999483)
    Checksums-Sha1:
    ac1235754bf00234af6f2d8dfd94f602d6a77b53 2078 coq-elpi_1.11.2-1.dsc
    759e8f735f2fa87c02b73d12de5afd2f33546bcd 351528 coq-elpi_1.11.2.orig.tar.gz
    65362d7ced6bc4824ccbbf032da65477c08eeeb6 3932 coq-elpi_1.11.2-1.debian.tar.xz
    cc61e299e51b3e5c4023f23b8a8e6be390b88560 8874 coq-elpi_1.11.2-1_amd64.buildinfo
    5035363b3f682101436f30806a5549ed0ad66cc9 223932 libcoq-elpi-ocaml-dbgsym_1.11.2-1_amd64.deb
    a07d5f69e6049ff5893cccd704b10d4b6e118dbe 1179592 libcoq-elpi-ocaml-dev_1.11.2-1_amd64.deb
    4d5b028bb5000bb7687504c95c7b005289d3d2b5 3826172 libcoq-elpi-ocaml_1.11.2-1_amd64.deb
    Checksums-Sha256:
    e92a9d7d66395ceceab87072ee25442ea85b72e9c58e819250b7ff8432d6617a 2078 coq-elpi_1.11.2-1.dsc
    9a2d86ef36a6a54f0d8ea5e3a2902793a8a9d48deaf049052ea17faea750ff34 351528 coq-elpi_1.11.2.orig.tar.gz
    9acc7b75ce9cf2832e8da7bc09d0940d0f1b3362b990f8753411532d53229a29 3932 coq-elpi_1.11.2-1.debian.tar.xz
    63f2be71aa80082c03d83b879572e2db1326845039c892c605276d7e699833a8 8874 coq-elpi_1.11.2-1_amd64.buildinfo
    73f6bc8f94cc3578eebcb77178e61b2044a03a8c9b8f87e66ea8de1b9bf3bf17 223932 libcoq-elpi-ocaml-dbgsym_1.11.2-1_amd64.deb
    c6454611cf9db7886c4a9af17908404f218d3149e30da2f97dd0cb07a02dd6e0 1179592 libcoq-elpi-ocaml-dev_1.11.2-1_amd64.deb
    55425a5983b21a768389b5b4fd2f5028bc23e723a82271af51b0232372d185b4 3826172 libcoq-elpi-ocaml_1.11.2-1_amd64.deb
    Files:
    ec8edb3131399680f44a1826a5f9c66b 2078 ocaml optional coq-elpi_1.11.2-1.dsc
    5107b517753f0b003c90a83ef22a7c39 351528 ocaml optional coq-elpi_1.11.2.orig.tar.gz
    a4405ddedaa6ba5820996e7ab3ef3992 3932 ocaml optional coq-elpi_1.11.2-1.debian.tar.xz
    cebb3f5647b2ed2847c437c059ab8c9d 8874 ocaml optional coq-elpi_1.11.2-1_amd64.buildinfo
    9950cae008798aaf468aa151b2da3292 223932 debug optional libcoq-elpi-ocaml-dbgsym_1.11.2-1_amd64.deb
    6bf5d40030eda7a0978a63f570728168 1179592 ocaml optional libcoq-elpi-ocaml-dev_1.11.2-1_amd64.deb
    937267437c0362e1c0065c5c15c25ca6 3826172 ocaml optional libcoq-elpi-ocaml_1.11.2-1_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGp0GMSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRIAMP/2QbM1Xq1RD7TzQO/wZcpJBxiwf8uIq/ nFxjkhTTgmKQz3tNMKxuwrc+ZjNv6FUfdzeP+bExzH0h/0jTiDMbB4AT0bsZNINe 1HnxHdMPUE4ISpyhmKE/2xkX70H2P4EFn15de1ns1mY2flmyA0LgQ6GbXta2Uhlh Rlb6zV/IdWtxaIcSPGl7wgkQdGEewig+BzRcUm3ZK49LeHFyKkOoMdlasWW8koES IR2qMdd1JfbaA/+pa3v4+IOcFxgXimvEWxw+1nBlf+w6e/gAjiqpFt/bXuXWhXQw ZKW8Lg7JVfT6D5FwA3xd610fJj/neXYw39ihkG8ko3rxj9uSqPl2LqF/qEH6xH+c k9vsffRjMkCTHo44hAaVL2Yerck9JTc4okezHcnAfT7RMaBAxYIrTg1SNYOUf0KS z8JEN6RFpWTWCI7vpyQPVUUm0ZUpNbRdNQrROsr8dlhb54/EwsDEnWPY003UhdRB uCjsEREX+g2ZnCnXrQQYK43QPluzSx3nIBTRJ6sonDe7cayUgpuW2k0mOut0ziao X2dq/x8oSTn8rHVAFETrpM15kI4/ZfHaOjCc1jLjAYI5QUjqPjA8EPKKJBA0Tqtl dpwLg9BzTqY1MybFhYhkRsTFcZ4DcrbIovCmKjXOrLoAoMLK4OJp+cwXsbPjP3RO
    kPqCUpqT9aJc
    =oStW
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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