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

[Jeremy Bícha]

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

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:22:14 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-math-classes/8.19.0-1build10
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:22:14 -0500
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build10
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-math-classes (8.19.0-1build10) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 ce9b486de768791307185ef148f848a7c8ff3ed2 2167 coq-math-classes_8.19.0-1build10.dsc
 470a1274d0a3ae5d6ef59a099296bb852ad10edf 3228 coq-math-classes_8.19.0-1build10.debian.tar.xz
 359be64001fdf329a3fd1f6fd06d807efb90ec07 7086 coq-math-classes_8.19.0-1build10_source.buildinfo
Checksums-Sha256:
 a2f558cbe6db74f501a3041c278370d3a7e01948c48ea8493bba13e8e04c3906 2167 coq-math-classes_8.19.0-1build10.dsc
 305b28278e9b8a828f3a75240f294e43bc5447d100199172ac288884cd5a3133 3228 coq-math-classes_8.19.0-1build10.debian.tar.xz
 de580da7c2c01f0f7e79e8fac17f8b3ebb0fe61c974da6d70953a60ce892100a 7086 coq-math-classes_8.19.0-1build10_source.buildinfo
Files:
 82411ff4fee2dc686c08a02ba9fbd2e8 2167 ocaml optional coq-math-classes_8.19.0-1build10.dsc
 7eb68825bb3676141dfe463b6452a9ac 3228 ocaml optional coq-math-classes_8.19.0-1build10.debian.tar.xz
 7f93caad4ce746ddef0c18722f0cda1f 7086 ocaml optional coq-math-classes_8.19.0-1build10_source.buildinfo