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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:40:56 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:40:56 +0200
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build6
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-1build6) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 0a8cd909d6a31ff8385cd10dcdd2815dedd1edee 2163 coq-math-classes_8.19.0-1build6.dsc
 3a91f14c4bb07adf852b908d0bd1673069b54c72 3116 coq-math-classes_8.19.0-1build6.debian.tar.xz
 22d8b6d7c4d94ea5f6f355a365e5ed16befbc6a9 7880 coq-math-classes_8.19.0-1build6_source.buildinfo
Checksums-Sha256:
 cbfed734256e59b85d0b66d7399df5e92f690148e885673442c0a0805dd80fdc 2163 coq-math-classes_8.19.0-1build6.dsc
 f505295eec212f09a70f5f81b7417acb8ed1284d361c291f427872baef6f173f 3116 coq-math-classes_8.19.0-1build6.debian.tar.xz
 480ce174bc3d6006772d00496c1daf4f2a2593f82fcca25f8c2fb8151a47eb54 7880 coq-math-classes_8.19.0-1build6_source.buildinfo
Files:
 32ca44e72bce2fcd6b6c54a8ae0a870f 2163 ocaml optional coq-math-classes_8.19.0-1build6.dsc
 ce26461bca7f45fa6d5c1af6a3ec990f 3116 ocaml optional coq-math-classes_8.19.0-1build6.debian.tar.xz
 383a464948b38b2cbb9438ea700b7575 7880 ocaml optional coq-math-classes_8.19.0-1build6_source.buildinfo