[ubuntu/plucky-proposed] coq-math-classes 8.19.0-1build13 (Accepted)

[Gianfranco Costamagna]

coq-math-classes (8.19.0-1build13) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 08:12:07 +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-1build13
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 08:12:07 +0100
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build13
Distribution: plucky
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-1build13) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 b0a3c25c52f578ba5dfe117238ee102050ca7497 2167 coq-math-classes_8.19.0-1build13.dsc
 dca0743c379368d7bc7eda8e978fe345f569e79a 3272 coq-math-classes_8.19.0-1build13.debian.tar.xz
 408a89cbf29f9fe7ddc7e1edf780de80a817fc82 7331 coq-math-classes_8.19.0-1build13_source.buildinfo
Checksums-Sha256:
 af7c09191e0cc03a26d43d6df5c43eaab4dbc1aabcc51b527107a2ee182e1b94 2167 coq-math-classes_8.19.0-1build13.dsc
 c721ef2cabe1179e4cd842d88cb5b5c327d799a58cfb459674e4555cc691635d 3272 coq-math-classes_8.19.0-1build13.debian.tar.xz
 91883882da455040cc3e27b11ccce22a79bf9efffcb81634bb4e2598ccdfcc5e 7331 coq-math-classes_8.19.0-1build13_source.buildinfo
Files:
 a56af5701122f824c04117fd79641b0b 2167 ocaml optional coq-math-classes_8.19.0-1build13.dsc
 9607306c53fcacc421e0e84a7264f71e 3272 ocaml optional coq-math-classes_8.19.0-1build13.debian.tar.xz
 e023934ddd7f43e332bcb3e5e5d3e5f7 7331 ocaml optional coq-math-classes_8.19.0-1build13_source.buildinfo