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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Tue, 18 Feb 2025 20:54:35 -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-1build12
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 20:54:35 -0500
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build12
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-1build12) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 aa75ce142d97410546e1f07a5bcb67dcdb639b59 2167 coq-math-classes_8.19.0-1build12.dsc
 ff00d46ad39e4752b66d20d0f9410a81970a44ef 3252 coq-math-classes_8.19.0-1build12.debian.tar.xz
 ed7d8396c1cc56a9a9a2ea576d446bc11ed58c1c 7062 coq-math-classes_8.19.0-1build12_source.buildinfo
Checksums-Sha256:
 f8a16007452ea031561b74b0b969f91ef3f988b373a13cfc4d2752381d461845 2167 coq-math-classes_8.19.0-1build12.dsc
 1d306d326d7af60b668b24e069c3eed00421bd112ae9657c9d5038b94605ad29 3252 coq-math-classes_8.19.0-1build12.debian.tar.xz
 055a3f212443de6719ad738b8cc956f00fdb6be84a85a743a928cd6deebca11a 7062 coq-math-classes_8.19.0-1build12_source.buildinfo
Files:
 358d1ef8cf705f510e498febb2401c0b 2167 ocaml optional coq-math-classes_8.19.0-1build12.dsc
 23d52e0b9d1fd82f4950bde157c121d4 3252 ocaml optional coq-math-classes_8.19.0-1build12.debian.tar.xz
 f2847901e50984a6b3798fae495715c8 7062 ocaml optional coq-math-classes_8.19.0-1build12_source.buildinfo