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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 06 Nov 2025 11:31: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-1build13
-------------- next part --------------
Format: 1.8
Date: Thu, 06 Nov 2025 11:31:50 +0100
Source: mathcomp-real-closed
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.2-1build13
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-1build13) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 4a25450d6b83f9bcd0dca4b49da729983cc3f8eb 2267 mathcomp-real-closed_2.0.2-1build13.dsc
 7a62590c39cb3874ba97116aa32507cbbb7db02f 9288 mathcomp-real-closed_2.0.2-1build13.debian.tar.xz
 3aed54d419d30fd8843f9b8db8196ce863cc9c3f 7919 mathcomp-real-closed_2.0.2-1build13_source.buildinfo
Checksums-Sha256:
 3d4e33ee3fdfb4186ad62da757aabe393b3fdf3ff065d29dd8ff871ffced8b19 2267 mathcomp-real-closed_2.0.2-1build13.dsc
 7477cb1e6faecd343f85cf52a333760be24168c68123929ed1a6e0b09d29ea1f 9288 mathcomp-real-closed_2.0.2-1build13.debian.tar.xz
 c5a9c04df05a847afb64fc5835a5d6a70e8fea1406c1f3a3841f85982de88a48 7919 mathcomp-real-closed_2.0.2-1build13_source.buildinfo
Files:
 dd3f117971f0b381568b0617a369e4cf 2267 ocaml optional mathcomp-real-closed_2.0.2-1build13.dsc
 232c5395b4fe527e81624665965e6fb3 9288 ocaml optional mathcomp-real-closed_2.0.2-1build13.debian.tar.xz
 6061dc3285a3d19a64e27878f5bdf9bb 7919 ocaml optional mathcomp-real-closed_2.0.2-1build13_source.buildinfo