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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 12 Feb 2025 21:55:03 +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-1build5
-------------- next part --------------
Format: 1.8
Date: Wed, 12 Feb 2025 21:55:03 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build5
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-1build5) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 b2a3b8c6dc97bc1f8cad9237f4f08f4aeca5b552 2190 coq-interval_4.11.1-1build5.dsc
 0c845e5d285cb49a1b680d8c6f97d72166d4bcf4 9528 coq-interval_4.11.1-1build5.debian.tar.xz
 10e13f4ed6e899c6104dafe5aa83aa01551f58e8 7311 coq-interval_4.11.1-1build5_source.buildinfo
Checksums-Sha256:
 df17250b8cb69590293816780af99e367e6b28127da9aaa4840a5a739fdd8526 2190 coq-interval_4.11.1-1build5.dsc
 bde1050ea88e9dd694bce9c310c38caa76d7ff39ab47ec757d049c348f182964 9528 coq-interval_4.11.1-1build5.debian.tar.xz
 456bf01849d7ef64f65830ffb0934b0113eae8190fb762483d5fc42a58046b4c 7311 coq-interval_4.11.1-1build5_source.buildinfo
Files:
 62bc62531bd6dbd07937ce761a13d35d 2190 ocaml optional coq-interval_4.11.1-1build5.dsc
 ec85b512a2767dc69c21f6c6a3c077c5 9528 ocaml optional coq-interval_4.11.1-1build5.debian.tar.xz
 d9f2bb3f09094726d5d076746a14782d 7311 ocaml optional coq-interval_4.11.1-1build5_source.buildinfo