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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 09 Aug 2024 14:53:32 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Fri, 09 Aug 2024 14:53:32 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.0-2build1
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-2build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c67847b8965d5f99348ac8ffc864e3ad3389d852 2193 coq-interval_4.11.0-2build1.dsc
 cfc3e228f2830b92852009b0c55f96fa5ab6df0b 9416 coq-interval_4.11.0-2build1.debian.tar.xz
 d87a0104aa4dcc0eeef7a217859249542b893c74 7864 coq-interval_4.11.0-2build1_source.buildinfo
Checksums-Sha256:
 28db63a4c71e1a5d7aa590d582297f80cfd6951402308c8b5f60daed78db5494 2193 coq-interval_4.11.0-2build1.dsc
 098a6087bba86d2243a1fc5d57f648e99448dc4ff78577d463a308b22a616847 9416 coq-interval_4.11.0-2build1.debian.tar.xz
 4bd4ac7fb7697614dca9df771b9b58cc1daccc779d4b607d04cb57550483bbee 7864 coq-interval_4.11.0-2build1_source.buildinfo
Files:
 11a6d18574e8fb651d0bf586087062d6 2193 ocaml optional coq-interval_4.11.0-2build1.dsc
 977056854f068f1ff6288161e1967e92 9416 ocaml optional coq-interval_4.11.0-2build1.debian.tar.xz
 d11125bf36f6e1f87eabff643c971510 7864 ocaml optional coq-interval_4.11.0-2build1_source.buildinfo