[ubuntu/questing-proposed] coq-math-classes 8.19.0-1build14 (Accepted)

[Gianfranco Costamagna]

coq-math-classes (8.19.0-1build14) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:30:11 +0200
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-1build14
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:30:11 +0200
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build14
Distribution: questing
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-1build14) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 d2b16d126ca527244232bab9aed2fd7e584284ef 2167 coq-math-classes_8.19.0-1build14.dsc
 70320396b70a41681ae6d1902aadbc3bf667257b 3288 coq-math-classes_8.19.0-1build14.debian.tar.xz
 3979ab788025c6350d1de93b8fa0cdcce43f616d 6894 coq-math-classes_8.19.0-1build14_source.buildinfo
Checksums-Sha256:
 72aeb23727df5cff65b0523b49b27c5a4cb5679a925e1de322f9aea98234d2bd 2167 coq-math-classes_8.19.0-1build14.dsc
 12fdb64364c496a7413bf84bb877c1adacfb102d53598ef14545dfb12c56f715 3288 coq-math-classes_8.19.0-1build14.debian.tar.xz
 1ef32df670b6e4ab6e90cc143ab8128d548d806afba828395ab2d80b7707026d 6894 coq-math-classes_8.19.0-1build14_source.buildinfo
Files:
 8a2358d56d6a667c30855f10d88947d6 2167 ocaml optional coq-math-classes_8.19.0-1build14.dsc
 b553cac42d0bdfceb935cf931c6b81ec 3288 ocaml optional coq-math-classes_8.19.0-1build14.debian.tar.xz
 72ba6b0cce9fa9f2f300706288b98109 6894 ocaml optional coq-math-classes_8.19.0-1build14_source.buildinfo