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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:17:55 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-math-classes/8.18.0-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:17:55 +0200
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.18.0-1build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-math-classes (8.18.0-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 205369a89bc1679a2941cab2091fff0c596ec6fe 2242 coq-math-classes_8.18.0-1build3.dsc
 41a6333ffe9d88fe69ca1604310d1a3c813d5d91 3128 coq-math-classes_8.18.0-1build3.debian.tar.xz
 622cdf34574340914a05cbe395996b47ca1039b8 7856 coq-math-classes_8.18.0-1build3_source.buildinfo
Checksums-Sha256:
 7dd6fbb07c3a5af8015fc03dac4d9d3d4c6105e54c9f26ea108de8a516aa0a44 2242 coq-math-classes_8.18.0-1build3.dsc
 e14026105d62e7f0d47735d2160749ed90ec6a6e1baf743b7a34ab3d27a68b80 3128 coq-math-classes_8.18.0-1build3.debian.tar.xz
 b13d345eda51605c35239ecb9b9953f90bea7f747823740c945d6274050bf29d 7856 coq-math-classes_8.18.0-1build3_source.buildinfo
Files:
 b72d58858a7887607dd3bc46ee846456 2242 ocaml optional coq-math-classes_8.18.0-1build3.dsc
 f9bd7aad958473c1361069755b3eeefd 3128 ocaml optional coq-math-classes_8.18.0-1build3.debian.tar.xz
 04e8cd01533ac2b9fe402a1b5a858973 7856 ocaml optional coq-math-classes_8.18.0-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>