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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 19 Jun 2025 18:35:50 +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-1build10
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 18:35:50 +0200
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build10
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-1build10) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8f544620848bb7ea94873492a9fe4991b23c0332 2194 coq-interval_4.11.1-1build10.dsc
 ec1f398232f2610fe27526da03c8b2cad0a897b3 9612 coq-interval_4.11.1-1build10.debian.tar.xz
 b9c1f5213c14b8df67484e2fb6e6805aa214c357 7020 coq-interval_4.11.1-1build10_source.buildinfo
Checksums-Sha256:
 554ec1db7aed66bef81272ced6ffaf777d81aa7ca4921d2527fba64fb209b49d 2194 coq-interval_4.11.1-1build10.dsc
 ec3a97aa818841deb29f1b3561de3b4fb485d96b0297f13b9217c1bb467ec179 9612 coq-interval_4.11.1-1build10.debian.tar.xz
 9235a75863518862df0c5daf8588b98d9343bd667502806c995bf702dfdbd533 7020 coq-interval_4.11.1-1build10_source.buildinfo
Files:
 a080cd7773dd72fe49df196ec2a80a21 2194 ocaml optional coq-interval_4.11.1-1build10.dsc
 ffc5482ee58781d6de3a5831336f47b7 9612 ocaml optional coq-interval_4.11.1-1build10.debian.tar.xz
 dbdc22d8036e332e6f8acb233a5aaf9d 7020 ocaml optional coq-interval_4.11.1-1build10_source.buildinfo