[ubuntu/lunar-proposed] coq-interval 4.6.1-2build3 (Accepted)

[Gianfranco Costamagna]

coq-interval (4.6.1-2build3) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 17 Feb 2023 08:06: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.6.1-2build3
-------------- next part --------------
Format: 1.8
Date: Fri, 17 Feb 2023 08:06:48 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.6.1-2build3
Distribution: lunar
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.6.1-2build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 05abeb2d755263ecb2d1cce4fc78d18fcc73764f 2186 coq-interval_4.6.1-2build3.dsc
 6a146b806aa57abbcfb49af800e56b7abbb58a99 8864 coq-interval_4.6.1-2build3.debian.tar.xz
 6dd8941bdd436aebdc092718907f74b75424eb16 7156 coq-interval_4.6.1-2build3_source.buildinfo
Checksums-Sha256:
 230a5e522241ef3fcdf6ff6b45a67e726301b428eda58bcd96024f7961b0151a 2186 coq-interval_4.6.1-2build3.dsc
 ac57ade4a89c5a6972dbd88523cdff06b7bebe9562d7040463d31d0f6b3b7dce 8864 coq-interval_4.6.1-2build3.debian.tar.xz
 cb0bec16f9e4d12ad12466c197fcfe0eaf057cf9f23da25eaa89af605da81275 7156 coq-interval_4.6.1-2build3_source.buildinfo
Files:
 b821b7d3621ec28eaeb6a91b2f4df8b6 2186 ocaml optional coq-interval_4.6.1-2build3.dsc
 4b01d3a995d7cafb7329d844945d76a4 8864 ocaml optional coq-interval_4.6.1-2build3.debian.tar.xz
 c7fceec9e82c02e090740fdb117baea2 7156 ocaml optional coq-interval_4.6.1-2build3_source.buildinfo