[ubuntu/resolute-proposed] coq-interval 4.11.1-1build12 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.11.1-1build12) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 22 Oct 2025 22:47:17 +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.1-1build12
-------------- next part --------------
Format: 1.8
Date: Wed, 22 Oct 2025 22:47:17 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build12
Distribution: resolute
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.1-1build12) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 2fe9fd607d407386f6f689bf37de71ec3b109d27 2194 coq-interval_4.11.1-1build12.dsc
 598390399622d8caaa33366802f12064567d01d1 9644 coq-interval_4.11.1-1build12.debian.tar.xz
 be63d5d0647b92b80f4f94fc47e5ccdef6004974 7026 coq-interval_4.11.1-1build12_source.buildinfo
Checksums-Sha256:
 f9eef534d8b1dc44ebe053d82134d632be51999bc8f04bf5da3c3be510ff0a05 2194 coq-interval_4.11.1-1build12.dsc
 199e26d0fd55e3af39cdb9fcd7ddcd8d9aaf2fe701352741f431433a824966b5 9644 coq-interval_4.11.1-1build12.debian.tar.xz
 8e3761d0114707e33694ecbb68fb2f538ac8c760cd6b7761b3ea0fc571ae7a21 7026 coq-interval_4.11.1-1build12_source.buildinfo
Files:
 f5d8df85155058525fa0f5c8fc4f461b 2194 ocaml optional coq-interval_4.11.1-1build12.dsc
 f5c47de0ba77afb8f3ceb3c82c646849 9644 ocaml optional coq-interval_4.11.1-1build12.debian.tar.xz
 ec0369df49de4756526fd1c23c111f55 7026 ocaml optional coq-interval_4.11.1-1build12_source.buildinfo