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

  • ssreflect_1.14.0-2_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sat Feb 5 10:40:02 2022
    Accepted:

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

    Format: 1.8
    Date: Sat, 05 Feb 2022 09:55:07 +0100
    Source: ssreflect
    Architecture: source
    Version: 1.14.0-2
    Distribution: unstable
    Urgency: medium
    Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org>
    Changes:
    ssreflect (1.14.0-2) unstable; urgency=medium
    .
    * Make the package auto-adapt to coq's layout.
    Checksums-Sha1:
    1570b744685f7d3f7f6f89f53c0194180443202a 2112 ssreflect_1.14.0-2.dsc
    869fadb214231280cde4ec3ad34f9396a4bb145c 12200 ssreflect_1.14.0-2.debian.tar.xz
    72317f0cad1a81215e83d3f53f47bcd7d2225ba0 7360 ssreflect_1.14.0-2_source.buildinfo
    Checksums-Sha256:
    8de30ccad1f0f8b19a9dca1b3847e38525155fac4c12ac031e42b39d3c5758c6 2112 ssreflect_1.14.0-2.dsc
    131febaf636cde185428d25fb3b3091cef49cf4416b9e758916b3390b7066539 12200 ssreflect_1.14.0-2.debian.tar.xz
    2416d1d50e3a790be12ce997f6d6867946820bd75a10b2536a8212aea696af40 7360 ssreflect_1.14.0-2_source.buildinfo
    Files:
    163c3f5041aa88ec957f71761f43bab7 2112 math optional ssreflect_1.14.0-2.dsc
    26c1701162a603ecfe51272a6a0f683a 12200 math optional ssreflect_1.14.0-2.debian.tar.xz
    6a30a374c58cc1f0cbc8b32a4c06b90c 7360 math optional ssreflect_1.14.0-2_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmH+O5MSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRQVsQAKQYIkU42yyMyb8nd18KC9sdsLES/4Um toWKqdiekG+D3qdXj5XXVtKXb3mkQJDYl0vKetjuRv83u2jd9US4hE6ZZEwRtGZq eA786DXLpAI255+eXTSBsexETHk2hBBnzNUO0nj+FhDCJ8rkVjqM55oaTxjdEnnD f/MsX54P8pEl8CfdBM7yb3FBjp7t0IjwXwMoSikjYUwBitdjVXUEyabzPsdfE58m Nr1aPw9IwvUTO504SEY+x0UETgFVjXFfIW1FvePm5QGmLJbdpb7RvubDJ2LCJB1x +sh8MFdK+7McqZnda/gEYDIAo16GnOjUAUm6gf10OtcPDtHZD87T3HFzRsu8xoMS rq7e1bsLJqPbiqWzFKftTpo9lmkoxsrtAbZKlf1CAOFee3b/vCfGQ6OEOorC7axh zSwjBRvt1l1YO9LTZ5l6V5ABo3zO7vr5mw1devN9sn+BNLOOSkRnMzFIkeAAVyVQ SZsyqAOKVlj7AT5M70N9ZWXlC7kaHW1oEAcOz+j/wt7WOszOhzA73bZw9X8+UKmF +mY+3BfFGXmkycHklk80jP4Of/vmhIHDDW6M79D5J3QyuCBJ4d46wGxbvniJY56b nH+mdl8uCX74GFPFx6BPzQyjN/ZbFKYdYwnra3r8pqGZkOrQuD9+Oc4pb9ibWAYy
    rhOB4fj1/T1f
    =EPwl
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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