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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:40:37 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:40:37 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.0-2build2
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-2build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 197181a78e25bf69e72f283133af4b57420e497f 2193 coq-interval_4.11.0-2build2.dsc
 5c9e275c99445910b026d641e34eeec9f1f43465 9420 coq-interval_4.11.0-2build2.debian.tar.xz
 0506d5d654cc106334e5d8a3c0c899d194d29491 7864 coq-interval_4.11.0-2build2_source.buildinfo
Checksums-Sha256:
 cf8851f544ce96d807aaf8081cf72a39a5a79db282b78b5d61d808a2b3adad44 2193 coq-interval_4.11.0-2build2.dsc
 5ad86c1550a2dd3ab557ad2d21e056d3eee5d74bd226652968a702218aff7f56 9420 coq-interval_4.11.0-2build2.debian.tar.xz
 0b78d2a8549e1ba2c01aaac90c3413d483e085335dff2e06a63e7eaaf4ca149e 7864 coq-interval_4.11.0-2build2_source.buildinfo
Files:
 01d68e626e7f921374e89fb38e564ac6 2193 ocaml optional coq-interval_4.11.0-2build2.dsc
 97a57df4464fd1903ad5bf4179111803 9420 ocaml optional coq-interval_4.11.0-2build2.debian.tar.xz
 eb6112f98c1d23a6ae57276521cccf55 7864 ocaml optional coq-interval_4.11.0-2build2_source.buildinfo