[ubuntu/noble-proposed] coq-math-classes 8.17.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-math-classes (8.17.0-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:15:23 +0100
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.17.0-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:15:23 +0100
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17.0-1build2
Distribution: noble
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.17.0-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a6e6dcba6b79364944a694cd73447f03b18f47e5 2163 coq-math-classes_8.17.0-1build2.dsc
 a360f3bbd231c69f4e5235948292e68519d7fdb0 2752 coq-math-classes_8.17.0-1build2.debian.tar.xz
 a97838abbfe2040b959b672d0fd2e0373d76a9a0 7836 coq-math-classes_8.17.0-1build2_source.buildinfo
Checksums-Sha256:
 62cebbfb0bbaa03c258a71c53513355f04bcb26a64840693562ae1c9b2c86761 2163 coq-math-classes_8.17.0-1build2.dsc
 65f81982467865f4524c2d67187c0d70f7bb3a3df4d3fb1aaf8feb289859fe73 2752 coq-math-classes_8.17.0-1build2.debian.tar.xz
 abe5725b774656c64161c595296a1b03c8b50080f534aa6eeea1f474ed27c1cd 7836 coq-math-classes_8.17.0-1build2_source.buildinfo
Files:
 8d9c31783c6c25ff942a991b5446fbd7 2163 ocaml optional coq-math-classes_8.17.0-1build2.dsc
 b46d0be00b148fbd908115617ee3da81 2752 ocaml optional coq-math-classes_8.17.0-1build2.debian.tar.xz
 e463874e57b5d5f963ab6bfad88369e4 7836 ocaml optional coq-math-classes_8.17.0-1build2_source.buildinfo