• coq-elpi_1.11.2-2_source.changes ACCEPTED into unstable

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

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

    Format: 1.8
    Date: Mon, 17 Jan 2022 08:46:21 +0100
    Source: coq-elpi
    Architecture: source
    Version: 1.11.2-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Closes: 1002930
    Changes:
    coq-elpi (1.11.2-2) unstable; urgency=medium
    .
    * Fix -dev package not depending on the lib package. (Closes: #1002930) Checksums-Sha1:
    69a012f0c2c91d387e13f9b9dd9c90bf00a6fdad 2078 coq-elpi_1.11.2-2.dsc
    7521cbe647492d0dd56ab9b0475de6ba03bc472a 3988 coq-elpi_1.11.2-2.debian.tar.xz
    f0098e4f8d0501f3f30cd7c6a0eb79794fc1669c 8092 coq-elpi_1.11.2-2_source.buildinfo
    Checksums-Sha256:
    aea1d2e5c4f65fff7804cc0a79b1b6ab9e511baa87749f2953d3a86c871a6bcf 2078 coq-elpi_1.11.2-2.dsc
    3338dc0fde8b3d8a0e2aa7bfb8e37798d5a13d44ac8dc39d6d1250fe1435a33f 3988 coq-elpi_1.11.2-2.debian.tar.xz
    fc684947f07d1644f65d05d311026771c01e6261d74845785a976633cfdb39a1 8092 coq-elpi_1.11.2-2_source.buildinfo
    Files:
    d3c730c4a1ce84521b24b0dfaafdf06d 2078 ocaml optional coq-elpi_1.11.2-2.dsc
    c1febf1d9b079479700abf2edb4afcf0 3988 ocaml optional coq-elpi_1.11.2-2.debian.tar.xz
    8cc10f3be09bb65c1bf3d89f0f1cc948 8092 ocaml optional coq-elpi_1.11.2-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlHxUSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRSvoQAIKtK/DhyztOYutx35Z4vUxApE1Tl1YU Uzeq/JuHMC3RnfdXYOjTAt3C+YvrwcBpMnLbV6C0xJ1ljO1esGL/JYFFjfUdRPnm Sq/hjGYX1xoEj0nWyJZC9MrEINU1WEI8zOcC5Est7mi1NUj5dm3voaiaky3DIav/ G/aRW1V5ENrD9gbdUXsO6mfmkQQ2w0x0tBbKSR3qA7dM0qQ+LaiUDLaEH36O3o+s IcGsMmXPBnjn13owOgy/YWP14TQUIQLY7vdsHO6fJkp75VZqBvs19ExOCpJpsmoV /CgD2QotUzqNJg+QdOXgBHm2wTAl4NklvwL/tld89QiD9otTaM1Tdn6uVj/ETXtn zJF4nfJyQSdvuZX+Hl5VhyO0S0V81h217hpumJOHWMHiQtqX/tLdol0nCre+536N pU6+HjCDzJmo9bdaGSmzUUMsCNgspEXKT8c5vpb0abAk1R4yj/ShMe2/GvlK7DWd XZS7bzwlOZXivoJWLWrZPELZei7roQhkBEulj0Hf/IK9bYlwt1OQvlLWLR/x2yzQ gI6xRCGEKMQ+fHz+CW6RFTI4k5svq3u/XAbHgqWgiWrJTehLo3YZ8ZJGzsy2Zo9p F9vPOqn2f6cnZYcG7JG+rwWFzKHHgup1sJAb5+AkO1ztUR6uWLNtUUVwuZscZd1U
    nxftA30m1fBN
    =Q/yD
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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