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

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

Format: 1.8
Date: Mon, 24 Jul 2023 08:21:32 +0200
Source: mathcomp-real-closed
Architecture: source
Version: 1.1.4-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
 mathcomp-real-closed (1.1.4-2) unstable; urgency=medium
 .
   * Team upload
   * Fix call to dune install
Checksums-Sha1:
 409c552834d9afaece957419d51ec89468ea728d 2044 mathcomp-real-closed_1.1.4-2.dsc
 381d0e495a8ce434a603017accfbc16349eb4cd8 8796 mathcomp-real-closed_1.1.4-2.debian.tar.xz
Checksums-Sha256:
 7d9be0a39b378ee925f529f95fc9d0aa8cbed1a73e51791aa4e164d87b9d1c76 2044 mathcomp-real-closed_1.1.4-2.dsc
 8b2ee63f2b7b5c41bf1ef0b9f65f575fb12c2e8cb4921faf9b7edf7e777ccf6d 8796 mathcomp-real-closed_1.1.4-2.debian.tar.xz
Files:
 09bffb36d1e715ab926e603894da87b8 2044 ocaml optional mathcomp-real-closed_1.1.4-2.dsc
 447dc1e9f1bb499e1caf699ed62ba644 8796 ocaml optional mathcomp-real-closed_1.1.4-2.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmS+GZgSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBO50H/0zWQO26zX8JDGXy6SILCZszZZumCi2z
hp0KZmZ1zasJJFJ5iA/bDxJL8G3XIpmvFTgXcHXy2uT8GOqRHJqt2RESYms6FKP/
0HE4eWr9KjNodJtNrY8UqdIAkNcOOQE6Wnz8xIEl1OcrJF9WhssNzWOFnoK1VCZK
uAwIe8gCswokYTAB7CPrAsQ9tA0E3HkPCF8fXYQDtUHx8chghgsVnZHWE464ntEz
BBjVhIuXLoxPFVux+lGPSfexXjp0JSGgdLF+jquqoAcNA2kAnHOqIexQs82zq1xo
Or8VkkthrFremXEWcm4LTJPpR/cj1GRigyZEftwEQk93bsGB1uMdYTI=
=vW7Y
-----END PGP SIGNATURE-----