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

  • coq-extructures_0.3.1-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Jul 31 14:00:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 31 Jul 2022 12:35:53 +0200
    Source: coq-extructures
    Architecture: source
    Version: 0.3.1-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    coq-extructures (0.3.1-2) unstable; urgency=medium
    .
    * Source-only upload for testing transition.
    Checksums-Sha1:
    cff5cbfb49f78cf182f09da444c24ffa5c54053d 2161 coq-extructures_0.3.1-2.dsc
    9f2e53d4b1527d3a9f3ce3a33c20251ba091dce2 1964 coq-extructures_0.3.1-2.debian.tar.xz
    35636daa3848f76d3297d50c061716eb200424b6 7015 coq-extructures_0.3.1-2_source.buildinfo
    Checksums-Sha256:
    4817d74891c0af5ec72677b2d6b86202e2606035e3e6f80c78c297c7b32e8594 2161 coq-extructures_0.3.1-2.dsc
    2e196070a5e0390ef4055189b309a83a4b135a5919e646939de0e1af3faaac32 1964 coq-extructures_0.3.1-2.debian.tar.xz
    4fe46fd125bdc5eba68b3d95868004bec6787ec93b966a4b0280e935c8a674bf 7015 coq-extructures_0.3.1-2_source.buildinfo
    Files:
    0b1d0d8092f6d2a7d518697947dce571 2161 ocaml optional coq-extructures_0.3.1-2.dsc
    8e5dbe0f1a6ce359515c7d8a5a54d85a 1964 ocaml optional coq-extructures_0.3.1-2.debian.tar.xz
    a2b8cd16f1e48c715c92d19d54814531 7015 ocaml optional coq-extructures_0.3.1-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLmW0gSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRKAYQAJe6F0r3vwYMSdM9i65ijUIt4iflBcts eF247qTGZtTdROX8/+W7X2tNShUMOfqnDLrwiTmjZ1PaCCaB2GozSetXkuvP+cJN qrtgEmLB7RFx9ygzCon1NvB8G2wDs1l1Y5+J2e03y4D6LEaGcO//oxnzY/7YFV4g SbSUtR5cKOgY923joIslNHEpxP5mnrGujcdrpEQgbaCPVfN0I/c8tfx7UNTiDt/j epRfYpuvc/6+IGeSsvF4w3wjVcMEKSi6mv+IPtmrYWx9RhaOgWOES9SFPiD9ji6D 5HbINh4TkoyDdXXYS9UqbLGS/rGkPe3Ez2dhRhjjv+DAneynhYxERLFHMe7C2HuR ZqgB47rEOH/naI+43Qj0A7f/VYTRsCxhegBi0zfpXMkrSA7ec/VlzJag/mScwxQc VPI50n3hdzYN8/tpQYY7EPaMWFuXdWUVXPWzoQz//rmmKbEKR35Lg1EBpd8v+x/w rIVbOuNVh83dlKRiP5g7yVas7YKBFv9oErpGi7/13dc+DKnHvkmGXG5ie6a7BK38 ClFlpL3Ar3SNprlOtv1I4wrY6QF2kbE+KmfOj6b1PXQj3/wlgTSo1PPrBIZhsQ23 1uJDXW6Zc3z1efYjRfu/N6Vc71v5LIa3sVBLWzLiq9enejvZRdKbzcsFXyjz5XVf
    KnmLzUv3qPUh
    =/oa2
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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