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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:38:10 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:38:10 +0200
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build3
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-1build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e3f3cbbf3f410f4f3b0262d4b16578b5909738bb 2163 coq-math-classes_8.19.0-1build3.dsc
 5c307e55233b6ff619757b62ee58ae0eba078647 3036 coq-math-classes_8.19.0-1build3.debian.tar.xz
 4603da0bb8b1c8f7e0962040236e8f989e655d85 7856 coq-math-classes_8.19.0-1build3_source.buildinfo
Checksums-Sha256:
 32cc1182e5bb21a49cd365e776ee3e5f64d3ca08a32d44bac28ea770fa468f15 2163 coq-math-classes_8.19.0-1build3.dsc
 9365cf5fa24a12d55c1cb2edd8b6e3bae604dfeae4996b7307dc42b7f5fa4ee1 3036 coq-math-classes_8.19.0-1build3.debian.tar.xz
 1d564e57708ddaa2594afb07eedc063c740720cd1d1c5e712331b43fc7c202f2 7856 coq-math-classes_8.19.0-1build3_source.buildinfo
Files:
 57dd0ae20d6dcf5bfe4df58d63952a5d 2163 ocaml optional coq-math-classes_8.19.0-1build3.dsc
 21b879670fa57bfa75096dfd3eb58b98 3036 ocaml optional coq-math-classes_8.19.0-1build3.debian.tar.xz
 fdc592e03262bdcbc02eaa2fd42058c9 7856 ocaml optional coq-math-classes_8.19.0-1build3_source.buildinfo