[ubuntu/questing-proposed] coq-interval 4.11.1-1build11 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.11.1-1build11) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sun, 31 Aug 2025 21:20:28 +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-1build11
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Aug 2025 21:20:28 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build11
Distribution: questing
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-1build11) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a93225e3651f3bb46a3f1a5ac207d844a36e6d61 2194 coq-interval_4.11.1-1build11.dsc
 2d30f70f3d78fed823e59a8c24cf669fff6ee695 9624 coq-interval_4.11.1-1build11.debian.tar.xz
 995363b01df4f22a1555ef6345a1d9fe81e9ca46 7024 coq-interval_4.11.1-1build11_source.buildinfo
Checksums-Sha256:
 8b7fc79d23e275448d202dd50737434ed7dd77fec5330821f09d47eefd84a6a2 2194 coq-interval_4.11.1-1build11.dsc
 0153f3e1ac84436dd49de2855a9d745f944bcffa7a4bd2abab4365439d58b66e 9624 coq-interval_4.11.1-1build11.debian.tar.xz
 6e12e86572c148a388fa0f943ebaf4ac2c94d81ce811e8cc3f5d346b1f4e6048 7024 coq-interval_4.11.1-1build11_source.buildinfo
Files:
 c8a2b5809e4b67b084125888f9d92731 2194 ocaml optional coq-interval_4.11.1-1build11.dsc
 011ba048f1e1490962d8d7dbed7da1df 9624 ocaml optional coq-interval_4.11.1-1build11.debian.tar.xz
 c5504f9617e1db47f73150a494fd4a13 7024 ocaml optional coq-interval_4.11.1-1build11_source.buildinfo