[ubuntu/resolute-proposed] coq-math-classes 8.19.0-1build16 (Accepted)

[Gianfranco Costamagna]

coq-math-classes (8.19.0-1build16) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:24:18 +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/coq-math-classes/8.19.0-1build16
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:24:18 +0100
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build16
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-math-classes (8.19.0-1build16) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7d23f83de6d64cc2faa52cb41c4c4929e01151cb 2167 coq-math-classes_8.19.0-1build16.dsc
 07d1b75ae835e7f19b1915f1365f52d226e4dff4 3352 coq-math-classes_8.19.0-1build16.debian.tar.xz
 fa9417ce8c72848e4ef00cb29c7b29c240f8fcd9 7891 coq-math-classes_8.19.0-1build16_source.buildinfo
Checksums-Sha256:
 7a716d85fa37fd8369a78ebbed9b7ea6d08b3a1ce2a145ff41cc96a4d4ebbccd 2167 coq-math-classes_8.19.0-1build16.dsc
 5031b48d537f67de5e20539845682313231419722afd0ed401b752829e11787e 3352 coq-math-classes_8.19.0-1build16.debian.tar.xz
 6bffc6e71e24c45a6d92c9d30c7acc39c1e2f05c04941b558693199953b56ddd 7891 coq-math-classes_8.19.0-1build16_source.buildinfo
Files:
 0b1cfbc0957744341b4d578b3cf252fc 2167 ocaml optional coq-math-classes_8.19.0-1build16.dsc
 983409b271145c3f3eca740d988d66bb 3352 ocaml optional coq-math-classes_8.19.0-1build16.debian.tar.xz
 d6468ee49e45921ca8adde468d7f608a 7891 ocaml optional coq-math-classes_8.19.0-1build16_source.buildinfo