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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:44:20 +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-1build11
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:44:20 +0100
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build11
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-1build11) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 72f95a5f016aab92d66652bfd3be8d0651927e3b 2167 coq-math-classes_8.19.0-1build11.dsc
 0e5772eb043f474ab54e7a12d64075ab523d221d 3248 coq-math-classes_8.19.0-1build11.debian.tar.xz
 b2ce523b30429b0381b8764922bc4378079d954a 7331 coq-math-classes_8.19.0-1build11_source.buildinfo
Checksums-Sha256:
 5eb28c3571bd77fe9ac943896ab89dbaeb5e3c918b1be9bd305e3ef1cc1b2f9c 2167 coq-math-classes_8.19.0-1build11.dsc
 a7afc2b1617a1206d932a70da34171a03acc6d49a46ad35f69054055149fdf40 3248 coq-math-classes_8.19.0-1build11.debian.tar.xz
 882782d8298eac212a7ca49a977363c120c5211c457799f5dd3e0507a26bb9f1 7331 coq-math-classes_8.19.0-1build11_source.buildinfo
Files:
 e0ada4f1d126e26fb5bdb3018b8d4923 2167 ocaml optional coq-math-classes_8.19.0-1build11.dsc
 64113d6d9f1a4d8ee3ba74a465180517 3248 ocaml optional coq-math-classes_8.19.0-1build11.debian.tar.xz
 c66f6c6d20129c82933a1a31022966cf 7331 ocaml optional coq-math-classes_8.19.0-1build11_source.buildinfo