[ubuntu/oracular-proposed] coq-math-classes 8.19.0-1build4 (Accepted)

[Jeremy Bícha]

coq-math-classes (8.19.0-1build4) oracular; urgency=medium

  * Rebuild against latest coq-bignums

Date: Sat, 29 Jun 2024 20:10:08 -0400
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-1build4
-------------- next part --------------
Format: 1.8
Date: Sat, 29 Jun 2024 20:10:08 -0400
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build4
Distribution: oracular
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-1build4) oracular; urgency=medium
 .
   * Rebuild against latest coq-bignums
Checksums-Sha1:
 ecc4f953de6e1cbf8daa4ca363ac944a989c7703 2163 coq-math-classes_8.19.0-1build4.dsc
 ca5d3ba340bf508b848e6baa30f521452170d273 3092 coq-math-classes_8.19.0-1build4.debian.tar.xz
 0d47f27041759a20289ac96c240ad9c014370c28 6683 coq-math-classes_8.19.0-1build4_source.buildinfo
Checksums-Sha256:
 904cf54803c15b0a82cf1b4f1ec9d54c7fa93461b1f205e9de75ad4589b112ba 2163 coq-math-classes_8.19.0-1build4.dsc
 200c62b3a58c23d18f20f2451d3680bfb7df3552ab79017bbf4c43ad485d7ed5 3092 coq-math-classes_8.19.0-1build4.debian.tar.xz
 e8b500d3e366ff9f238f5e81a4bac09dda51707ce1900bda12fc9822beed5ebc 6683 coq-math-classes_8.19.0-1build4_source.buildinfo
Files:
 ae994161abb524f1497ccdbb179f485d 2163 ocaml optional coq-math-classes_8.19.0-1build4.dsc
 75ce5fb8f7bbde7426baee132e867585 3092 ocaml optional coq-math-classes_8.19.0-1build4.debian.tar.xz
 2ef37bf668253c6b48c9364e0b892196 6683 ocaml optional coq-math-classes_8.19.0-1build4_source.buildinfo