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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sun, 12 May 2024 08:21:48 +0200
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-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 12 May 2024 08:21:48 +0200
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build2
Distribution: oracular
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-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7006fb48d9d1789a180f121ee6101be8f313c821 2163 coq-math-classes_8.19.0-1build2.dsc
 d1aee7c203b176c27df49d67da7db94792666468 3024 coq-math-classes_8.19.0-1build2.debian.tar.xz
 c42cd2e21002cdec1583bfc5b583e7159a9cde48 7856 coq-math-classes_8.19.0-1build2_source.buildinfo
Checksums-Sha256:
 e7d3d2bcbf65b818922107383f2558a4a40f6a4e02daf2c46d7e4012933a9691 2163 coq-math-classes_8.19.0-1build2.dsc
 304fc2c2744c5193d31a6a9d82199e6f7de00b7c5830de73e9bbcb44350384c9 3024 coq-math-classes_8.19.0-1build2.debian.tar.xz
 813b3dcb724db75d81a806ba368213050581fa5fc9aa8d720a8d9a5ad8241d68 7856 coq-math-classes_8.19.0-1build2_source.buildinfo
Files:
 28450b36d584f3f682bde1e8041675d1 2163 ocaml optional coq-math-classes_8.19.0-1build2.dsc
 0bd6e378da9ef15563eaa9cb12e86f89 3024 ocaml optional coq-math-classes_8.19.0-1build2.debian.tar.xz
 e457553340d3796387095855121bce20 7856 ocaml optional coq-math-classes_8.19.0-1build2_source.buildinfo