[ubuntu/noble-proposed] coq-interval 4.8.0-1build1 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.8.0-1build1) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sun, 05 Nov 2023 08:08:17 +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-interval/4.8.0-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 05 Nov 2023 08:08:17 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.8.0-1build1
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-interval (4.8.0-1build1) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b165192fe04fbae25eade7f81925a122838e7571 2186 coq-interval_4.8.0-1build1.dsc
 6d6f8ece2fcae8b3d3dd269ce2363dc95da51614 8912 coq-interval_4.8.0-1build1.debian.tar.xz
 4d1385bfd64b27ad71a89e5abe12bd181b0d8cf7 7816 coq-interval_4.8.0-1build1_source.buildinfo
Checksums-Sha256:
 728af1cd80150b0e16e36e70f8c5dc6c47aeba26076898132fef273f413c8d22 2186 coq-interval_4.8.0-1build1.dsc
 58fc3eaeb09c4b5143124a73aed8a43af68b9265b8ac20e5bc5fc36272619c97 8912 coq-interval_4.8.0-1build1.debian.tar.xz
 6302e82ad3a0bbbd88405906350dcc2148724fc024bd45220d62436a0769cea3 7816 coq-interval_4.8.0-1build1_source.buildinfo
Files:
 c9a68ccb6d8ba3cebb1c6b47eb11a563 2186 ocaml optional coq-interval_4.8.0-1build1.dsc
 b956f289506a7cdb3cace0b6cc5a7dd4 8912 ocaml optional coq-interval_4.8.0-1build1.debian.tar.xz
 378fffaf47b1af98663f605d47b27dd2 7816 ocaml optional coq-interval_4.8.0-1build1_source.buildinfo