[ubuntu/questing-proposed] coq-corn 8.20.0-1build3 (Accepted)

[Gianfranco Costamagna]

coq-corn (8.20.0-1build3) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 28 May 2025 10:06:49 +0200
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-corn/8.20.0-1build3
-------------- next part --------------
Format: 1.8
Date: Wed, 28 May 2025 10:06:49 +0200
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0-1build3
Distribution: questing
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-corn (8.20.0-1build3) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 fd3f9c80b7f7863c56e904ec93816f50f794dc26 2104 coq-corn_8.20.0-1build3.dsc
 c02ddcf8430a0e8b67cff576c1406cedfd3f654d 4448 coq-corn_8.20.0-1build3.debian.tar.xz
 391c21baa7b7bd27a01e5c04441fa0bb28bc70d2 6858 coq-corn_8.20.0-1build3_source.buildinfo
Checksums-Sha256:
 29cdbd1b47d5256413cba351ab46f0d676fddfaedae7c83f54b8f34318a836d1 2104 coq-corn_8.20.0-1build3.dsc
 be2cb89d78beb6a9cae05e9ff93b6d4eedbdc81ee87acea11ee016895c009d6f 4448 coq-corn_8.20.0-1build3.debian.tar.xz
 80049167110bb101be068adbfd2933e8f8d4e3529ca00274aca322803ae5382f 6858 coq-corn_8.20.0-1build3_source.buildinfo
Files:
 6b576ee76e656c3cdf7af0e851f4006a 2104 ocaml optional coq-corn_8.20.0-1build3.dsc
 936ce84b9f16bf6572626d260f9a7d67 4448 ocaml optional coq-corn_8.20.0-1build3.debian.tar.xz
 b6c3bcbaf8b9a4f4fb0db6a38d65f7d0 6858 ocaml optional coq-corn_8.20.0-1build3_source.buildinfo