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

    From Debian FTP Masters@21:1/5 to All on Sun Feb 6 10:20:02 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 06 Feb 2022 08:55:54 +0100
    Source: ssreflect
    Architecture: source
    Version: 1.14.0-3
    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-3) unstable; urgency=medium
    .
    * Depend on the coq library under its new name.
    Checksums-Sha1:
    2ce55aafec05c040e73612c7189e17fd5113ab26 2112 ssreflect_1.14.0-3.dsc
    860eab0de13f7db56027f70f34fb258af904b75b 12236 ssreflect_1.14.0-3.debian.tar.xz
    474fa6f2d5747ad15e9a1072c43aba2be4eece09 7355 ssreflect_1.14.0-3_source.buildinfo
    Checksums-Sha256:
    786da6c80485c896971c99433e2326707fc9a5ff74d71d7c36a83bbee8ab73ff 2112 ssreflect_1.14.0-3.dsc
    fa6d25c78ba794f708dd8bbe2b3c8f65b28aff5e8f01e6160b89b46676b34710 12236 ssreflect_1.14.0-3.debian.tar.xz
    daff55dbb9f698d4bb927c66a15215a286c70f9fd1c5659f350ed1c5ec328384 7355 ssreflect_1.14.0-3_source.buildinfo
    Files:
    1d3c8feacbf2f50e24fc00b3b3b82420 2112 math optional ssreflect_1.14.0-3.dsc
    3b5fca831bf324722522bb8aff429c6b 12236 math optional ssreflect_1.14.0-3.debian.tar.xz
    4d521162e399dc98219589c44ed73a23 7355 math optional ssreflect_1.14.0-3_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmH/iIcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRu5cP/iYC1q0mPCkvmo2+940j34DgMHj1UwhK +rH6JGDZigV0JUQvL3FlLd4sdqjMD9k5q5vRW5ZNj+dG1mwGAaXnf+atvIB75Ece 24KFAFy3vvFCWTMsNroQpupXl8NTgYhQf2kUGY+stYqkSUGb8bFCnzbF+e5jO1Lc HlP+OV2+DtHj4PhWRfa/jr/OisKaWUnM2dDrAG23ZInNp9lNleTCJKr940yNDdO7 saihvfazcJg5J+WLdd/H7ibYnKyfZ1+vTuiWoBr8lzhVAAy3GwO4kds/OCO2bm8m 6l4R634tH2I54HVTUa2+NAvUPDwqo5nu1bm2W/l35dqIMnQrSecRqtr+QF1HriD1 SAMCfFWjaE9LPyhiaznrXzMsPjbmwXJXe6Fl6ErxUK/UHKtq9dXPLN4vueYfK/Uj CT5mxnaTR1LpIMwcvJD3LUhhHltSeSc7/jUQy00WHVzcoNL8I47Tt253JvYoNN/R AJ/khKDg13gkwWAHkjhhU6aPDEAjS+av4yBcYVKmzstkAuqb0BqXtlh2u+kfx6+U sQdlsHNYwo496FqJA2cHIcrc2g0HkyiLM2cKo6tmcrZkcC1QxrkTACHbyg7HCiNL n3liES2CJ8eHZDAqTDLqFEpfQ5TxsVVxp4C7iBlTGF/qStGcbrsyyglffbtFcm3Z
    /YLxWR0bNL+T
    =yR47
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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