[ubuntu/noble-proposed] coq-bignums 9.0.0+coq8.18-1build3 (Accepted)

[Gianfranco Costamagna]

coq-bignums (9.0.0+coq8.18-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:13:27 +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-bignums/9.0.0+coq8.18-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:13:27 +0200
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.18-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-bignums (9.0.0+coq8.18-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 0a1f66cb56772e1d8fc1eafa1b5115a7cb6316e4 2224 coq-bignums_9.0.0+coq8.18-1build3.dsc
 83d834f09d29d2f85d35d633699a7af0f25b3048 2240 coq-bignums_9.0.0+coq8.18-1build3.debian.tar.xz
 36497b2499dd8a9b304ecaf250b626be0f28d0d8 7864 coq-bignums_9.0.0+coq8.18-1build3_source.buildinfo
Checksums-Sha256:
 f5ae9f468375a3858bd6b710bcb7d86604a189eabc6c48d812379f5199f40d39 2224 coq-bignums_9.0.0+coq8.18-1build3.dsc
 0ea9102d7198bbbbec6e71e6465099f09376bec13a815d91b2114a0095c46d39 2240 coq-bignums_9.0.0+coq8.18-1build3.debian.tar.xz
 24fe9e8f66aaf9726f34e839af77dfaf5d0fb322f87db66c613652b6cf6d2500 7864 coq-bignums_9.0.0+coq8.18-1build3_source.buildinfo
Files:
 eeb5ef2f8f25525464814b175a7eb6d3 2224 ocaml optional coq-bignums_9.0.0+coq8.18-1build3.dsc
 584d48076b4153c201d0f309653e3fd0 2240 ocaml optional coq-bignums_9.0.0+coq8.18-1build3.debian.tar.xz
 cfd78a58d5cfa3aa4098616d5186bbe6 7864 ocaml optional coq-bignums_9.0.0+coq8.18-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>