[ubuntu/plucky-proposed] coq-interval 4.11.1-1build7 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.11.1-1build7) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 08:09:48 +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-1build7
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 08:09:48 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build7
Distribution: plucky
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-1build7) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 f0071bd268fac5ddcfb0c644e804c7396040835b 2190 coq-interval_4.11.1-1build7.dsc
 f0fcb450ffcb57b8a861ae7585264c505c37a848 9552 coq-interval_4.11.1-1build7.debian.tar.xz
 1e77223bce3d5a0a474d86c2fef2fd16d800d54a 7311 coq-interval_4.11.1-1build7_source.buildinfo
Checksums-Sha256:
 4dbf265b99e8ac87b79f46cc046bc171f4ff95b1ba83a80f45fbd16254734aa4 2190 coq-interval_4.11.1-1build7.dsc
 ae7a4ebdf78e3a1b9547b95781101f2e2526474c52b2d05743b8efc4e254dce3 9552 coq-interval_4.11.1-1build7.debian.tar.xz
 1f8997614f760b43603c4af38191e248daec377e501fbd743ae5bd5c97178019 7311 coq-interval_4.11.1-1build7_source.buildinfo
Files:
 5cb9257ff224d0fa300c05fc45cb2f86 2190 ocaml optional coq-interval_4.11.1-1build7.dsc
 d24c40b0aa0d3b59542635dda48ea4ff 9552 ocaml optional coq-interval_4.11.1-1build7.debian.tar.xz
 d59a3486e1583b93cc8288e6db951abb 7311 ocaml optional coq-interval_4.11.1-1build7_source.buildinfo