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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 31 Jan 2025 09:05:23 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Fri, 31 Jan 2025 09:05:23 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build4
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-1build4) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 a45b8fb48692fd3ccbaac5c4d2139e85c34477e3 2190 coq-interval_4.11.1-1build4.dsc
 82876eeeaf8bf1dfc63b97b9cf02acc0b4e20c27 9504 coq-interval_4.11.1-1build4.debian.tar.xz
 d408f586a86b89e1a58c5a505b2d9ee25e15b773 7772 coq-interval_4.11.1-1build4_source.buildinfo
Checksums-Sha256:
 4e807a52392af73704c5e132b0a6dc537b676ec61fe96eb14140c7257b17c412 2190 coq-interval_4.11.1-1build4.dsc
 89218fcf244283b7b7c73450a25004c3ed5ce59ea955b5d9d08eca50c79ce406 9504 coq-interval_4.11.1-1build4.debian.tar.xz
 f49ca344226fbcfcada5e068124b0628e744c1558fc901c8a0159a7084348edc 7772 coq-interval_4.11.1-1build4_source.buildinfo
Files:
 ab5f2faa63753ca3a4267fce7aa212a7 2190 ocaml optional coq-interval_4.11.1-1build4.dsc
 4d07f6e51cfc56efb21cad99232393cf 9504 ocaml optional coq-interval_4.11.1-1build4.debian.tar.xz
 ff49725ca0e88633f83f6fb9d1e5434c 7772 ocaml optional coq-interval_4.11.1-1build4_source.buildinfo