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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:44:28 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:44:28 +0100
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17.0-1build3
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-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 f2870ffa4263cbe1cf3928b74fe07e056189cb23 2163 coq-math-classes_8.17.0-1build3.dsc
 8c97606a82cc33282e3249515a39d0134bd928ee 2776 coq-math-classes_8.17.0-1build3.debian.tar.xz
 c08ee1d089d2464bdbfc330f6e5c783ae8fa686b 7836 coq-math-classes_8.17.0-1build3_source.buildinfo
Checksums-Sha256:
 f2a9786918e0b2fd35fc0ecee75d0a48ac1d89b99f7dab2210e196a1aeed7ca4 2163 coq-math-classes_8.17.0-1build3.dsc
 eff24b7940cbb4fc914e506695b7d1753575d04680745c73ccf135039374a0d5 2776 coq-math-classes_8.17.0-1build3.debian.tar.xz
 af1b7487828c05396c72bcf9386817e5f5cf46ee23b6e402277d9d1cf10056a8 7836 coq-math-classes_8.17.0-1build3_source.buildinfo
Files:
 b2efe69a97f4afcfb46c70a325b5cf21 2163 ocaml optional coq-math-classes_8.17.0-1build3.dsc
 98f56a64ab6d5197fce39077f61bc162 2776 ocaml optional coq-math-classes_8.17.0-1build3.debian.tar.xz
 13be911d085fd1127e3c5a312ae53c60 7836 ocaml optional coq-math-classes_8.17.0-1build3_source.buildinfo