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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 28 May 2025 10:06:10 +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-1build9
-------------- next part --------------
Format: 1.8
Date: Wed, 28 May 2025 10:06:10 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build9
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-1build9) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 91639f3a6619525fb0362334fbf1e2ff0698fa7b 2190 coq-interval_4.11.1-1build9.dsc
 4eccc6f86bb3868ebc731fcc091f63bf6fa4d6b3 9600 coq-interval_4.11.1-1build9.debian.tar.xz
 a37041ed3ade76da27c4e9cd50f868dd79d00690 7016 coq-interval_4.11.1-1build9_source.buildinfo
Checksums-Sha256:
 e0048d55f79eb8c8e1d1b4131f645304e55742dd35592e0801073716f46e2f02 2190 coq-interval_4.11.1-1build9.dsc
 752aed4041e56be9e1370744036c1d207d959ca7cb1849e62e5f718fd4b39c21 9600 coq-interval_4.11.1-1build9.debian.tar.xz
 bab594c6db34291aa1b58322153fa11c7775655614ca2b1391b9dddc7dabd966 7016 coq-interval_4.11.1-1build9_source.buildinfo
Files:
 846fda21e6f8f72508ec0ae62aa83d86 2190 ocaml optional coq-interval_4.11.1-1build9.dsc
 4e3ab3ab2617bf2c54aac487a3171bd1 9600 ocaml optional coq-interval_4.11.1-1build9.debian.tar.xz
 ea0a7be2826065e679435165c2dde14e 7016 ocaml optional coq-interval_4.11.1-1build9_source.buildinfo