[ubuntu/oracular-proposed] coq-interval 4.11.0-2build4 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.11.0-2build4) oracular; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 11 Sep 2024 21:50:19 +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.11.0-2build4
-------------- next part --------------
Format: 1.8
Date: Wed, 11 Sep 2024 21:50:19 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.0-2build4
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.11.0-2build4) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4457f0f270828f6f4e6581f990726eba10c0722a 2193 coq-interval_4.11.0-2build4.dsc
 192782a376135f903450863dc73994e8f66731ae 9496 coq-interval_4.11.0-2build4.debian.tar.xz
 dacdb4388360b99ceda788b1a30a947e11436b51 7864 coq-interval_4.11.0-2build4_source.buildinfo
Checksums-Sha256:
 1a22166b54bccedeb0008a650df03bf37e92aaea5dbe180102187c1a2824dd33 2193 coq-interval_4.11.0-2build4.dsc
 181701b41feb63cd10badb70643b6abafaf41d119b5ff99c1f57173807ef7009 9496 coq-interval_4.11.0-2build4.debian.tar.xz
 f50056bde992a5a4c8c7338bc473f386c8f1ce3a9cbd2fc44dbe191466715372 7864 coq-interval_4.11.0-2build4_source.buildinfo
Files:
 93f83fbddfba9996f5f22f9e65657e86 2193 ocaml optional coq-interval_4.11.0-2build4.dsc
 e0804555e5e3b966db2de881aec10fef 9496 ocaml optional coq-interval_4.11.0-2build4.debian.tar.xz
 74b250c27a35f7f8a58287ade7e40c31 7864 ocaml optional coq-interval_4.11.0-2build4_source.buildinfo