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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:36:22 +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-1build15
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:36:22 +0100
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build15
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-1build15) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 5c806115a0de24834a0ee8367e78e661e4d5b4e6 2167 coq-math-classes_8.19.0-1build15.dsc
 e2eee9633a84ee705f4b47dcf4eac3e5f5004b0e 3340 coq-math-classes_8.19.0-1build15.debian.tar.xz
 af26955ca79a50120dc025cce6bf377ba7b49106 7887 coq-math-classes_8.19.0-1build15_source.buildinfo
Checksums-Sha256:
 335ce858aa5e76f59c6381a63c683a490e96090f72da60e83a6b44bf580fc523 2167 coq-math-classes_8.19.0-1build15.dsc
 6f8fa9b122ad17036e35e3cb2eec7c48b577f0c251771b01913462c73e822ed1 3340 coq-math-classes_8.19.0-1build15.debian.tar.xz
 a180cbacc4572ab9d047efe0ace0e0e6780e0858c6fa9a7656c4841e7a12af0f 7887 coq-math-classes_8.19.0-1build15_source.buildinfo
Files:
 d777e7f670f9fa7e4064ebd26ac64125 2167 ocaml optional coq-math-classes_8.19.0-1build15.dsc
 9d373b7aed77d3fb05c616bacc0f10f7 3340 ocaml optional coq-math-classes_8.19.0-1build15.debian.tar.xz
 6e0ba57884a75f10eb18f336e005fc38 7887 ocaml optional coq-math-classes_8.19.0-1build15_source.buildinfo