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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 23 Jan 2025 09:41:28 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Jan 2025 09:41:28 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build3
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-1build3) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 e087399fd60fa52843fb31abe5a451762f7e4693 2190 coq-interval_4.11.1-1build3.dsc
 87be6d8d2fed9ad2fbe280144435e46ef946a8cd 9496 coq-interval_4.11.1-1build3.debian.tar.xz
 6ac567daec93543e3926c296918274576f5b0dfc 7772 coq-interval_4.11.1-1build3_source.buildinfo
Checksums-Sha256:
 bca51aef2ce07f7b2a48f3b84866af0542dbc153702f727dad8ec2e6013b010f 2190 coq-interval_4.11.1-1build3.dsc
 8b7420547fac3db8a15d694f8b4730543793042c19eb410229951129433e5796 9496 coq-interval_4.11.1-1build3.debian.tar.xz
 95f5c0cd29141022bcda456cd87e80951a78935ec31e2a419250141d4a8d5b91 7772 coq-interval_4.11.1-1build3_source.buildinfo
Files:
 da50dd3b2ad6c0ac10838976060144e0 2190 ocaml optional coq-interval_4.11.1-1build3.dsc
 db47827f3d08f5bdebbdba19de08beaa 9496 ocaml optional coq-interval_4.11.1-1build3.debian.tar.xz
 2d6064d094a92049781439e10fa80126 7772 ocaml optional coq-interval_4.11.1-1build3_source.buildinfo