• coq-corn_8.13.0-1_amd64.changes ACCEPTED into unstable, unstable

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

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

    Format: 1.8
    Date: Fri, 15 Jul 2022 12:04:14 +0200
    Source: coq-corn
    Binary: libcoq-corn
    Architecture: source amd64
    Version: 8.13.0-1
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Description:
    libcoq-corn - Coq Constructive Repository at Nijmegen
    Closes: 1014955
    Changes:
    coq-corn (8.13.0-1) unstable; urgency=medium
    .
    * Initial release. (Closes: #1014955)
    Checksums-Sha1:
    d5bdef4fe69eb357960b2d114b59dc684235f546 2087 coq-corn_8.13.0-1.dsc
    5bdf437590ef5e9fb2ffab8ffdf12f0a1bda8ee3 1318281 coq-corn_8.13.0.orig.tar.gz
    72d8e51649ef341909b0dc3c6f38ac515fba98f7 3776 coq-corn_8.13.0-1.debian.tar.xz
    b25f52038d2887d0d91d404c6ddb3af97c65c047 7204 coq-corn_8.13.0-1_amd64.buildinfo
    74582322d8d830112341e655e5f8494925e71348 11268868 libcoq-corn_8.13.0-1_amd64.deb
    Checksums-Sha256:
    c74fe4d7bb6a36b958d0425df4dc25eaab5adedd759350da15e64459955fa226 2087 coq-corn_8.13.0-1.dsc
    9550510d8b105d54c43003f45662c7f24fa02906fa96a2df46a324a9ea5e710a 1318281 coq-corn_8.13.0.orig.tar.gz
    41b25c9404c9f90dba75bcbdcbcef2cd6ee4499aa58ea2339c4d3f098aa5f554 3776 coq-corn_8.13.0-1.debian.tar.xz
    3bdb365388810ba125bd55148442c8b8795ab375f5b7aed6fe8b341b56faa72a 7204 coq-corn_8.13.0-1_amd64.buildinfo
    7b0b7b4b98674d54a85351c87431ca675415d0e366a6e9e8e9d2021ff80876fb 11268868 libcoq-corn_8.13.0-1_amd64.deb
    Files:
    99525520000e4854ae423d778b4f7178 2087 ocaml optional coq-corn_8.13.0-1.dsc
    f1ccab4e4c264818e5f6b790967e4efc 1318281 ocaml optional coq-corn_8.13.0.orig.tar.gz
    b6c7dcfd96eaedf07ee7d156ac889937 3776 ocaml optional coq-corn_8.13.0-1.debian.tar.xz
    58b762501c87d5735449b6fdcdcf3c5c 7204 ocaml optional coq-corn_8.13.0-1_amd64.buildinfo
    e45c2659298633befc1c940322cd15d9 11268868 ocaml optional libcoq-corn_8.13.0-1_amd64.deb

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRQaISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRrRwP/iilHGqyrGx6G+hxC7PonSg7KnKfNAr7 psR4B+SzYE0lplJraJry84crD7vVcZKCNd8xaDMtGoV1IGRgzZtowJB0qRbJOelm t8I/Ni08yKMf/BKCkRLdr0fsITV4SpeXynerDMt4r1zrI1YYuo9nJgb+AgUhNus5 /IbJ9NZiRy8kGS8gHMk0JdUSpGg27MTfha3isHJ7yZqXA+xU35JrJGOE6Xo2QksM GYRfYzztXHFW+r+L+z/6ff32/Mag/wC9/PsuhJZ0UvI4LJ3euc1dusxNV8ioGb38 1EPoq5tYLdD9ofugF3etz/x9tMx+JMxPs3dMqv6CJdCLr2lBRFFvtmB+YEmmLW9d dA0lcsmjAMS+NyKdOvtFbBRUteDGZewXqKiqhavY7BlHGLSzKgtdAmmWIoK3YnUK k9ilzFJlpCkLdg1kXt3TtsUYniHZSqB/f/BF36FpIaDJLkOAayVn35il2jkedrDD BawQN25MUdt7AcEm4TUXUZcvP3ZLIoZKdrHVu30FypvyHU9+G4cByG837z16NDiK dd+bkS3rQmL15cwcwozJQHPogeuSJAQ0RPp4N8KJtQ8qZwUsh5yuxma6bP0oDojr 9WEgiHT7dCaDAvHbVg+CqevAUAlkP3HrKWefAGu7Yu3qNud47JXOGEB88vLtTxvx
    FqcQQlC4NZXV
    =94Oa
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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