[ubuntu/noble-proposed] coq-interval 4.9.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.9.0-1build2) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 17 Feb 2024 01:26:18 +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.9.0-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 17 Feb 2024 01:26:18 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.9.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-interval (4.9.0-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1dd44eb6a49adbf877edb075715ef8a790675f4d 2186 coq-interval_4.9.0-1build2.dsc
 becb58cf686742667653a61f98cb9a1cf485be7f 9308 coq-interval_4.9.0-1build2.debian.tar.xz
 38d38b150db0b14504f840e0c41c9a8d5eb0d547 7819 coq-interval_4.9.0-1build2_source.buildinfo
Checksums-Sha256:
 53a188ce464d7244f4edc2415da63304fd5a7c8717729c9e6202b31315909046 2186 coq-interval_4.9.0-1build2.dsc
 320ea3e9c065910851a14ee4be029a7d24362b1f5f67e685ae7a388668773260 9308 coq-interval_4.9.0-1build2.debian.tar.xz
 74fb5532d4a4cee557e732d689209a505b6f17276d239359fc3519cc56ac7195 7819 coq-interval_4.9.0-1build2_source.buildinfo
Files:
 fff093d6960bd5884d008c5f2371e45f 2186 ocaml optional coq-interval_4.9.0-1build2.dsc
 7e50620135e88dbe444bba7e7c79d378 9308 ocaml optional coq-interval_4.9.0-1build2.debian.tar.xz
 16e0071c9ca5ee714689a4bdfc1701df 7819 ocaml optional coq-interval_4.9.0-1build2_source.buildinfo