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

[Jeremy Bícha]

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

  * Rebuild against latest coq-bignums

Date: Sun, 30 Jun 2024 07:13:43 -0400
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-interval/4.11.0-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 30 Jun 2024 07:13:43 -0400
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.0-1build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-interval (4.11.0-1build2) oracular; urgency=medium
 .
   * Rebuild against latest coq-bignums
Checksums-Sha1:
 7ae88f7d09077b56bcca7a37903f12b0ec561b90 2193 coq-interval_4.11.0-1build2.dsc
 b0dda68e5ccce986df0d8494ba138ed91f79d846 9348 coq-interval_4.11.0-1build2.debian.tar.xz
 5a5b307f23bef529b8804b2279177af8c2f13120 6667 coq-interval_4.11.0-1build2_source.buildinfo
Checksums-Sha256:
 9a14f691230f8a7784e307ccc1d441147d1f81b18d267132230338cadc5335fd 2193 coq-interval_4.11.0-1build2.dsc
 feac4f6a255b7a6c39c995fe466ab0d6c107741ea99a2fa00f4822950bdc037b 9348 coq-interval_4.11.0-1build2.debian.tar.xz
 c82095c01051f48fea830b69cebb13df16ddccc6c723a3e8d33b58e19a63a147 6667 coq-interval_4.11.0-1build2_source.buildinfo
Files:
 1b748bdbb7e33be9fd420d53ee05770d 2193 ocaml optional coq-interval_4.11.0-1build2.dsc
 7b4a090577ebe4c8bfc1ba415471b363 9348 ocaml optional coq-interval_4.11.0-1build2.debian.tar.xz
 eaf64f21702b6a9c8032cf09c5859834 6667 ocaml optional coq-interval_4.11.0-1build2_source.buildinfo