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

  • coq-stdpp_1.7.0-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Thu Jul 21 12:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Thu, 21 Jul 2022 10:58:20 +0200
    Source: coq-stdpp
    Architecture: source
    Version: 1.7.0-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-stdpp (1.7.0-2) unstable; urgency=medium
    .
    * Re-upload source-only for testing migration.
    Checksums-Sha1:
    536a5012e2cc577ea393a6c3b20b346e7875e544 2036 coq-stdpp_1.7.0-2.dsc
    e512d9597345d322778505d0bbda3412d9e5164e 2272 coq-stdpp_1.7.0-2.debian.tar.xz
    a242f07586c5058dde41fcb94a377442005f5304 6949 coq-stdpp_1.7.0-2_source.buildinfo
    Checksums-Sha256:
    a5748396a4a801c7eb50d3494ba26d8c2d154423b6baab1f7c3461c56d5ac230 2036 coq-stdpp_1.7.0-2.dsc
    58aaf2025f6bfdd6f9083fd7e1c3774aaffc76cc82321f8ac42583c885f86071 2272 coq-stdpp_1.7.0-2.debian.tar.xz
    72d677c9d6457836b2adb6ec45ef22484ef552ce68b278af2998d6f43b10577c 6949 coq-stdpp_1.7.0-2_source.buildinfo
    Files:
    b6e9f24e6f84322989db67d3112d2ca5 2036 ocaml optional coq-stdpp_1.7.0-2.dsc
    2edafbcd93f9260b69617de748dfc7e4 2272 ocaml optional coq-stdpp_1.7.0-2.debian.tar.xz
    d194cc4fc903976f09d46e010cc89047 6949 ocaml optional coq-stdpp_1.7.0-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLZF+QSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRzFEP/j99YX72AuxAA4uibH2QYT8du5QPXL/h uCVqx85p0jutLv31D1C1xq1TM5ZgMXqvWZmGCg9/eqHNq1tFJCraCYu8v1TYh2GA p/aftyjB1yTmK43HiC8FJzld803i4r0qM0yVieujz2dqMZLfw0hhffyZHZYl6Pgx Y5oOcNQnmC1UbpE4GWVXjeRI0tA/LQw3ccLEhBWm/LPSYwu9w/JQpNiyUAHj2abs cy76pZcKG/A9Tm8yoq6nFse1xZcBEINymThqJDOtGEk/Q6Q7bAcxIXz7Eaw6vFG9 nA5ElZrV61JiCcnpZCzHRLpnmeL0qba6iFocaf1xmNXWIx1xd1iZwRnFDgSdl4ur A5EC0RqaeonM7kEBiCHHWjKYTuiG/l6HyTAO/ukjK8SMSuYGPhz3WBp/C9Bi3EJT dSKJZasOtirdZd+t1ENs6Mj+FVFBdQZIS9p1ASPzyx5RGVI2y/b3yZO+M87KogK2 edw8I92t4nTXzAiCSNwTlP5Ya7hOZdjgnTfaSUuFcS5C1BqVa7W5E4R1GajJst3B JFqnQrklapAYJWAA4OdtetaKhq7KQ/AjMNMiTrC6fu1ciV8zFbYoxoFSOBalyBle 4FN+R0D0cJvtNXoQpV95b8OYkO7QuiM1DJDJz/nMCsHSCwWuR1iKbhaeoRpnqxPp
    hWxupcfzK5FZ
    =HY7H
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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