[ubuntu/noble-proposed] mathcomp-real-closed 1.1.4-2build3 (Accepted)

[Jeremy Bícha]

mathcomp-real-closed (1.1.4-2build3) noble; urgency=medium

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 11:19:11 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/mathcomp-real-closed/1.1.4-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 11:19:11 -0500
Source: mathcomp-real-closed
Built-For-Profiles: noudeb
Architecture: source
Version: 1.1.4-2build3
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 mathcomp-real-closed (1.1.4-2build3) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 8be78570bbae31807975b055a17180793b903d68 2263 mathcomp-real-closed_1.1.4-2build3.dsc
 854faf69e0bb69aad11f167a248482553cfa2335 8928 mathcomp-real-closed_1.1.4-2build3.debian.tar.xz
 6e3d6e56f0228f8cdc567876b6e1cb0543d61f2e 7304 mathcomp-real-closed_1.1.4-2build3_source.buildinfo
Checksums-Sha256:
 24645bbcc6681e36445244665ac67134bfe65bcdd227822b2f73dba9b4ff40fd 2263 mathcomp-real-closed_1.1.4-2build3.dsc
 8b3086977e6c7b6f2069618c970edbaacea57f2c0df3b292f973655ce0990fdc 8928 mathcomp-real-closed_1.1.4-2build3.debian.tar.xz
 e1e2b8d38f656e65e04fdc18ea2b0721d7be30bfd138fc4b7887b791287f7ddf 7304 mathcomp-real-closed_1.1.4-2build3_source.buildinfo
Files:
 cd685bedec3f225718f45c44f6aae7f5 2263 ocaml optional mathcomp-real-closed_1.1.4-2build3.dsc
 9481a0759be6aea4bc7cf3e08e3398f6 8928 ocaml optional mathcomp-real-closed_1.1.4-2build3.debian.tar.xz
 58b1cc40ec8b95e9c8aac0fbd56e623e 7304 ocaml optional mathcomp-real-closed_1.1.4-2build3_source.buildinfo