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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Wed, 20 Nov 2024 21:31:36 -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-1build9
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 21:31:36 -0500
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build9
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-1build9) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 020780bac897844941bb392c71e6fe854ebf484a 2163 coq-math-classes_8.19.0-1build9.dsc
 aaccd235d4a7ba02ee382af257a013b2b338ada9 3208 coq-math-classes_8.19.0-1build9.debian.tar.xz
 13b15827867ce64f96a516946639048442b9b6ee 6993 coq-math-classes_8.19.0-1build9_source.buildinfo
Checksums-Sha256:
 242d782d3a0fe6ff259a49a12f55651821d4a7867cfa39283a8f7fdaa50d89ef 2163 coq-math-classes_8.19.0-1build9.dsc
 8c93d76dab5beaa63e895680d481bddf0e2385a96298e500f669e0b03eb5a25a 3208 coq-math-classes_8.19.0-1build9.debian.tar.xz
 955f8568d8ff0b80521daf614edee62f993426da3bf86fc24e15badca578a58b 6993 coq-math-classes_8.19.0-1build9_source.buildinfo
Files:
 a5185cc0f35354f27a89cc556cf96cda 2163 ocaml optional coq-math-classes_8.19.0-1build9.dsc
 bb8fc8bf52ea9206b68a0c27508baf7e 3208 ocaml optional coq-math-classes_8.19.0-1build9.debian.tar.xz
 d00e43aa9fccd465f4ebef1d9221a4d2 6993 ocaml optional coq-math-classes_8.19.0-1build9_source.buildinfo