[ubuntu/resolute-proposed] mathcomp-real-closed 2.0.2-1build12 (Accepted)

[Gianfranco Costamagna]

mathcomp-real-closed (2.0.2-1build12) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 06 Nov 2025 09:11:50 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/mathcomp-real-closed/2.0.2-1build12
-------------- next part --------------
Format: 1.8
Date: Thu, 06 Nov 2025 09:11:50 +0100
Source: mathcomp-real-closed
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.2-1build12
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 mathcomp-real-closed (2.0.2-1build12) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 620de08c0dd579d242eba0311ceecd63447a1ac8 2267 mathcomp-real-closed_2.0.2-1build12.dsc
 530beb2761691894a5106585a5f73f4f693241ad 9256 mathcomp-real-closed_2.0.2-1build12.debian.tar.xz
 b860e790c077ec5dfde8fd19351862adcf0dccd9 7919 mathcomp-real-closed_2.0.2-1build12_source.buildinfo
Checksums-Sha256:
 a146ae74cfe91693d819087e6504b665210a1824cbfd9c3c92f38b80e9883071 2267 mathcomp-real-closed_2.0.2-1build12.dsc
 fe812c2c6e5871c68e645ed336b1fd0f962faa1a400b499e356abb1b545b8d44 9256 mathcomp-real-closed_2.0.2-1build12.debian.tar.xz
 5df0204ee6047f803be8fe641d2acde438af1dea27591dba21fc262fc3380887 7919 mathcomp-real-closed_2.0.2-1build12_source.buildinfo
Files:
 c79a2c9df8e5a8c1d7cc045a66a45b05 2267 ocaml optional mathcomp-real-closed_2.0.2-1build12.dsc
 6f7f7cece699055f7a50bb908d886d66 9256 ocaml optional mathcomp-real-closed_2.0.2-1build12.debian.tar.xz
 5861d8c6268c30c8bcf8fb4c8f277b7e 7919 ocaml optional mathcomp-real-closed_2.0.2-1build12_source.buildinfo