[ubuntu/oracular-proposed] coq-interval 4.10.0-1build3 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.10.0-1build3) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Tue, 21 May 2024 12:34:22 +0200
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.10.0-1build3
-------------- next part --------------
Format: 1.8
Date: Tue, 21 May 2024 12:34:22 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.10.0-1build3
Distribution: oracular
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.10.0-1build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 0ef4f21fed6453f6e89eb27deb10113fb132cbd4 2193 coq-interval_4.10.0-1build3.dsc
 32b0ed114cd3eae6fb754b41b4014cd1f78ca5de 9304 coq-interval_4.10.0-1build3.debian.tar.xz
 794422241b7a5ba265d385038287c08a1e18ae97 7840 coq-interval_4.10.0-1build3_source.buildinfo
Checksums-Sha256:
 8d57c264d2fbe750a9f4d248490e51d89b39b501180a50f2a9c0c3cef43a1c37 2193 coq-interval_4.10.0-1build3.dsc
 7759c243efefdafa0a8c93e744552cc22289d983872cf9b36d2d68ced82b4c94 9304 coq-interval_4.10.0-1build3.debian.tar.xz
 57e7d4ec485998e2fd11650d5b6ae462560000d87075d3db8699c21c815f2856 7840 coq-interval_4.10.0-1build3_source.buildinfo
Files:
 87ad4184ebebe8cbfdbdda7c57caf3b4 2193 ocaml optional coq-interval_4.10.0-1build3.dsc
 d52205d95befda8da9d968d60088bd70 9304 ocaml optional coq-interval_4.10.0-1build3.debian.tar.xz
 aab2425e33eebb4dc4bf4eddb4e76994 7840 ocaml optional coq-interval_4.10.0-1build3_source.buildinfo