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

    From Debian FTP Masters@21:1/5 to All on Sun Jun 12 15:10:01 2022
    Accepted:

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

    Format: 1.8
    Date: Sun, 12 Jun 2022 14:00:32 +0200
    Source: ssreflect
    Architecture: source
    Version: 1.14.0-12
    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-12) unstable; urgency=medium
    .
    * Use dh-coq.
    Checksums-Sha1:
    f09d0910421d25183a59ae6fc2d40a3e6800af9e 2607 ssreflect_1.14.0-12.dsc
    8e82ff6377551cd1c3c35758eeff925bd91cb0fc 12480 ssreflect_1.14.0-12.debian.tar.xz
    672e8b0a3224f98af97700c56720876b7ed2b500 6549 ssreflect_1.14.0-12_source.buildinfo
    Checksums-Sha256:
    15b86233aa8777cc682e517b07fb02ceb38d1734a11450d0062606c40db73730 2607 ssreflect_1.14.0-12.dsc
    a468d16ba4cfb61310d1ebd650f7fc64b401df225651a71c316e2ebec36d13a3 12480 ssreflect_1.14.0-12.debian.tar.xz
    cdcff892e2436a59848a56a7d634490e09bdfca68e2892a91c2e66068784a6d0 6549 ssreflect_1.14.0-12_source.buildinfo
    Files:
    2ccbc3fcd1fe0f6ab1b0883f21625dd1 2607 math optional ssreflect_1.14.0-12.dsc
    46162f40f69cad29f267a694a94402d0 12480 math optional ssreflect_1.14.0-12.debian.tar.xz
    4f6378d822cee733fd46f6b6cbab0647 6549 math optional ssreflect_1.14.0-12_source.buildinfo

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

    iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKl1X4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRcpAP/3HvZmX5PeUdc04rjumThWgr+dcwogof RZCUi0K7aHq/6YXMYgk8U5GfMi6h7BMD2Ej+UjjG1TLVPoJV/Lc0KAJA+E0fa4cP Odig4u8E3gRIWn0jaScYVLF4GSypVX+oqinTxUw1q4OThS59Rc6u9towEUtNuFeb ukfzbkkf394WuOS0TWvz0roRfxocwIPLijewJR9pVyPjE1Fgunq1ZrZdmbc3xO9H DujrH5g3kTSeerLaQcEf48kI//L2JKWAh1qbFasvKWtUY7ZoDSi97/XMAX7FexWX gPN3ElCjtNAi4s2Mj/hgDtvw5eWbSCsxP6B8akfGHQW+1rqSdOW6n6R9aU8cCC2Z 629bWtoiSWFj9emrVQbUTkYM8D4ooRPFrOLZKjPQ2c/Vxij+ICavZj1B98Rg81rb i3uZ71uZbyyqdxSDcBX7zPaWdw/NfgQZEo3+6m8tkFcaC7UD+8aN/JqNanlHwzDe CN6THE5lDad+D1+8+DKt5EMCfAebmc6Heb7KOxMh58JD+Be9+vgSYziFagEzyY2x A1kEDxbkXPOWn29nxlsM6B6Zs4IE+ofRdMwYGcIwlIa4Ezhzey1CGkD4VMGN02df x5wSSs3xRNrraA40KiVfLFEkaiXAivhTVqqRwKmRuXkea2IwF1ihkGXhDk7Ku7th
    IC42M5ePuTUQ
    =gLGC
    -----END PGP SIGNATURE-----


    Thank you for your contribution to Debian.

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