Accepted ssreflect 1.14.0-12 (source) into unstable

-----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-----