Accepted mathcomp-real-closed 2.0.0-2 (source) into unstable

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

Format: 1.8
Date: Sat, 30 Mar 2024 11:54:28 +0100
Source: mathcomp-real-closed
Architecture: source
Version: 2.0.0-2
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 (2.0.0-2) unstable; urgency=medium
 .
   * Bump for binary compatibility.
Checksums-Sha1:
 4a76a1ad585d63dd3558aab36185a20f231c2d09 2264 mathcomp-real-closed_2.0.0-2.dsc
 352a77a897f6766512f2c8b4150e8dc406408a3e 8904 mathcomp-real-closed_2.0.0-2.debian.tar.xz
 a4b77fdaf0cbaf07050dc62bb484614bba3e9105 9194 mathcomp-real-closed_2.0.0-2_source.buildinfo
Checksums-Sha256:
 2b6cd431f6eeb161af72823ac42e0ee6bac6898caf914f6a055815469a9a0f41 2264 mathcomp-real-closed_2.0.0-2.dsc
 2c8becd294e2ac9209cbe2da8e566d25feb6fefb44eaa16d4124f8ca10421f20 8904 mathcomp-real-closed_2.0.0-2.debian.tar.xz
 ebf01662bfa415badb7874a24873f0d743ac6967afc7014aee18153c1e22b219 9194 mathcomp-real-closed_2.0.0-2_source.buildinfo
Files:
 d6bb0f00fbf118ca8a762244d95972a2 2264 ocaml optional mathcomp-real-closed_2.0.0-2.dsc
 9774239743cfe051f1319c2d3d8fa4fa 8904 ocaml optional mathcomp-real-closed_2.0.0-2.debian.tar.xz
 d5e387d203f1d50ba18914056c006f9f 9194 ocaml optional mathcomp-real-closed_2.0.0-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH76ISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRMbAQAI615DpwwV6qeIjfcRoUkqMbYUejOqUW
Vjuv3o16c440uzk7UkpIFsQc9x4pTMxguCZira53ZUfdpTtU+moPjHExHEazc5eD
TjVzLuZu8LdYISBat10pGrz4hxv1Ke41N9b5CU4bgbfxGe1JQzwXzLhZxSKBcfl0
isJT4Hd+YIGHUHh3T7WQZExFsJe8pNt0qYkhXdT6teLnOd8DwFAKujRm+Ar2r3/h
79D0DA+uESgQTPtxmgdL4WqNDSGbLepBluEzyXDjlmaLrbaLOdShZkGCzARb/XTI
ArZY7Pae9uwCQfLqIOxL8po2LwCV3Ywn2djAsj4ABMdfECNTdISCWmJgs3KhvT7l
ApWc5ac/dFvno4dXXOjV8qsRiWdtIwg2kgWqNLEpjV1+QBWSTUcjlG6VEWXoXNtE
Jedjxa5N8UFdjFUJ1sEO2txzn/BsR17hf0bW3hx88KBJbxsXiW3U25EPOvM2DKGx
LsdRDHCjbZBuJIgK7GS1QULyxVkXDIRyuab8ZmJDkBiGRjbajPw5nfbundjmhQUC
VF3VenhCElfzCRoE94WDZjOpV+G0uXf4N/PAkyh8puxACW4fqQ9L4IldQ8vO5riK
YsQ3Kmf8D1Lx4VJuM3ll0MxW+ubOD93sTQElQconGSojnI/sWz6MqocR6IAJdOWv
oEq0cYobrxW7
=z6xM
-----END PGP SIGNATURE-----