Accepted mathcomp-real-closed 1.1.2-4 (source) into unstable

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

Format: 1.8
Date: Sun, 12 Jun 2022 14:26:39 +0200
Source: mathcomp-real-closed
Architecture: source
Version: 1.1.2-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 mathcomp-real-closed (1.1.2-4) unstable; urgency=medium
 .
   * Use dh-coq.
Checksums-Sha1:
 904c50b94584e3b1e79b4731e8ae172e4ee2bce2 2217 mathcomp-real-closed_1.1.2-4.dsc
 81840ffcae55d91c6f7f3362f711a9bc505aa876 8564 mathcomp-real-closed_1.1.2-4.debian.tar.xz
 66d524196574c72341fe333a693333d1c5c05fad 6956 mathcomp-real-closed_1.1.2-4_source.buildinfo
Checksums-Sha256:
 9766da43486e7950b6c7d5c12d3ca011030e5ca34b36acaf6b8c530af663c5ef 2217 mathcomp-real-closed_1.1.2-4.dsc
 2737cbd832fbfe0025e5e710ebae0e3fa094623b94c6700220894906b3b3ed2c 8564 mathcomp-real-closed_1.1.2-4.debian.tar.xz
 ffaa2dcda939058b40a6bbf0510517fd997d064168da506d1725ca8018f50c68 6956 mathcomp-real-closed_1.1.2-4_source.buildinfo
Files:
 814f8df6ae5e4286757d76775b36dd40 2217 ocaml optional mathcomp-real-closed_1.1.2-4.dsc
 c998d82e360167a1368b190ccde67627 8564 ocaml optional mathcomp-real-closed_1.1.2-4.debian.tar.xz
 997556b09f03617cfea8a180d3fab352 6956 ocaml optional mathcomp-real-closed_1.1.2-4_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6pQQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRarQP/28Do5maqWjoGZA4nqToqEqArK1iK5GN
3Mk2qXOhHCTiKofXUV67bFDolYUnq4rVV2HmF3hcLFYAYP+nCkMr+ac4O7/Aig8Z
eRP5XHYH5vOIs1IxoT1vWamu71Sr1GNzeIjJ2PCXOn73+thoYq6RMUrNixR++GFV
OfgkOpHirxUQrKyxjOmkyW/bAQ9U1zdxePtgvp4dmG5GxGIZDg3D7QZSHCw2Pfxu
SFKDPV+94AfDRzUrvD6k1QdGP/3QgYPG6xEJDhS1FLeMGYK31OEPQRTz0jz0veu/
VuE3dTVrEa8ZdHNph3W4lUDOPpf4RoJ0Xpagm069hFIDA/Tu9MWuXQJQrvuHaMhW
XNN3nNnW1fXe77iJQa+0Db4cV0cWjHtv9yk5Kyo4080wW6jkhcpWrnZM/SDP17Kt
JomUrutm1lme3MCroSDAx/gZbvdpMP6kMswtLmKOz24BbmuSU+fjkVbDrP8IzNpF
oc5WbzYsOKGlHz1wVPXepxjDN/LzoC69tnfM3q5ixfDK156JQM6o+7rOZEuhmn0F
i5mc54wOOcUAHK5c91wDhYjhv8JIK4sfK0Yjx9m2QNoLpDXwPY/ft5PInmh2jhMt
1y6oTsfz/6twkaTcX8IXqpdsXUetuMXwbkX+2E+lLzz40YqBK9adTuoJ2McJIOZv
/ljPZ3xVJ2St
=spat
-----END PGP SIGNATURE-----