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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sun, 04 Jan 2026 23:30:01 +0100
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-1build14
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Jan 2026 23:30:01 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build14
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-1build14) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 27d4ca0e0577c793874eefeaf73710e5b8f41bfa 2194 coq-interval_4.11.1-1build14.dsc
 5f757c38a50c1629e3b14940f02b7a51d2980396 9668 coq-interval_4.11.1-1build14.debian.tar.xz
 f27574b9109ed6402c7dc09474f89f340c9dfe63 7871 coq-interval_4.11.1-1build14_source.buildinfo
Checksums-Sha256:
 d3d7f4f347c706ce8a39f53d6747fcd7aff6ba70e7df63358e516852ba036010 2194 coq-interval_4.11.1-1build14.dsc
 07a4e8b9c68efd61e33217889736e64afada65488585809a5dedc07f7f2d4a98 9668 coq-interval_4.11.1-1build14.debian.tar.xz
 c9ff0f6e4490e6e61098b5b079445ba9cc077c334d5aa0591f338529c0f1be33 7871 coq-interval_4.11.1-1build14_source.buildinfo
Files:
 3e8ae2dda8c9df459a3febaad3ab9850 2194 ocaml optional coq-interval_4.11.1-1build14.dsc
 9873a0722e996be6ebfe37d16aaf93b3 9668 ocaml optional coq-interval_4.11.1-1build14.debian.tar.xz
 3e188152b1d3b711feb82ef10c50448c 7871 ocaml optional coq-interval_4.11.1-1build14_source.buildinfo