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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Mon, 17 Feb 2025 06:32:59 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Mon, 17 Feb 2025 06:32:59 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build6
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-1build6) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1735b183d24c7918964afffe092c3b4cef59d38e 2190 coq-interval_4.11.1-1build6.dsc
 10ddf44788d42c0064dbae129cae2e91cd6c5e42 9544 coq-interval_4.11.1-1build6.debian.tar.xz
 b8542aef3796944c634a5efdb68dc0e2985b78f0 7311 coq-interval_4.11.1-1build6_source.buildinfo
Checksums-Sha256:
 61beccfc1721ca6c324ca29d8b0ab90e117f029c7362900f7f317e731ce43515 2190 coq-interval_4.11.1-1build6.dsc
 22aef6085374d68313970645cd270ecf2be27038513c84a910a696c357be41de 9544 coq-interval_4.11.1-1build6.debian.tar.xz
 254919a3d8e7e35d6e05dc97e78a9c5c9ad4b483a86123cbf14b2d1dd34bd82e 7311 coq-interval_4.11.1-1build6_source.buildinfo
Files:
 80701a0c1c7e82624bb920c4bbf658bc 2190 ocaml optional coq-interval_4.11.1-1build6.dsc
 fb0894c9e957981dd9bca63d63ab425b 9544 ocaml optional coq-interval_4.11.1-1build6.debian.tar.xz
 3b1f4d6f819e950cd028f79bf5992b09 7311 ocaml optional coq-interval_4.11.1-1build6_source.buildinfo