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

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

    From Debian FTP Masters@21:1/5 to All on Fri Jan 21 16:40:02 2022
    Accepted:

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

    Format: 1.8
    Date: Fri, 21 Jan 2022 16:09:07 +0100
    Source: coq-elpi
    Architecture: source
    Version: 1.12.1-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.1-1) unstable; urgency=medium
    .
    * New upstream release.
    Checksums-Sha1:
    01256fb9975a9801f7d2f20b970223192eec8ff3 2088 coq-elpi_1.12.1-1.dsc
    f76a27f0be574734ceaf30f19393817c645001e5 353244 coq-elpi_1.12.1.orig.tar.gz
    88f4f8938d67cddc6a40c161c6d22e52d65c1b97 4000 coq-elpi_1.12.1-1.debian.tar.xz
    e8ac137c03f68ff6b10a772f67502d60b9a3e1be 8052 coq-elpi_1.12.1-1_source.buildinfo
    Checksums-Sha256:
    43e1d0e0ade5c186fac0fd8b89bd0d90d62b3819564a284bc4411a185ea591f1 2088 coq-elpi_1.12.1-1.dsc
    32eac6be5172eb945df6e80b1b6e0b784cbf1d7dca15ee780bb60716a0bb9ce5 353244 coq-elpi_1.12.1.orig.tar.gz
    5a4262f4dc75a448a32b22d9863f3cb991f73d1c46e6f94e7d3dda767c33380b 4000 coq-elpi_1.12.1-1.debian.tar.xz
    85f65cf41d272567477f58ba1b04ed7e6fbd4a2e86ca2a60e3a06e954d695ad6 8052 coq-elpi_1.12.1-1_source.buildinfo
    Files:
    68c38bb319ae1b56faa82bbb40f02bdc 2088 ocaml optional coq-elpi_1.12.1-1.dsc
    d4574b5c1017be7da75fbc70a885ad40 353244 ocaml optional coq-elpi_1.12.1.orig.tar.gz
    9a2920b50b99dbcca3434e419fdf238e 4000 ocaml optional coq-elpi_1.12.1-1.debian.tar.xz
    deb3fa3d269964ca9530bd06ee4a710d 8052 ocaml optional coq-elpi_1.12.1-1_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHqzLISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRx18P/2Bl1/+h72Oc2XKHeGAwawrnQ+IvFgoB 9dxO/3QY/2L7TrneWnokTgkGwoGvo83gimwl7/BOneDN1potAWvgAFUqDkGR/dmQ FEXebjTiwRwiii+ivkK6rC/KnSudyvPMDQezXMJe5oxXjAAL3vM/Vnotek9Gh4Ou UuAJpfYZI1/qwn3VlDeSvNTPkNPJuICcw7utoqxLJV/1I9unK79pGgI0t+8Ebs8d HM5wx5PCuLDJ4NFWq4rlnThismA9MIlI8ZSjRhoNtU0oMy1/GBVUxfWUUCoUOWQ8 e7QIsORLCZ6gS+Zzcj32HY6duhHHVGJuw1NFfDNb93Jic4HuDArYn2bV5hVCigHY debeND5sO7f+7vvKne1j+E/dE9wdv9TQ2Bq0Uaj9IeijAKOlfDCqXUkm8lOyifRC /E5fqjo9dsQm4zQERoJ8uJrOufeGet1PbjoxFqA/1BzYQjNobz/XX38+GpHtS4v4 i5nW5ADzmO5uxA/RZQ/7jg6wA6kGztnrIjro/igZvYcUnG2J75s4zvBn4I8f3HjY CUSDcS6EDLxjohCQX2ILhGc4qDgU4Bje0lCvUHeFBxg1ZLxiwaxsjbQXSfxDnNAO 6zw0JFbi6X6HSGs1QQp05uJrg4plR3eSfpIgS5+LM4vYyCH5/UR5FPGS/fYFpXaO
    FYm3mKnDWe4L
    =DDFw
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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