[ubuntu/resolute-proposed] coq-corn 8.20.0-1build9 (Accepted)

[Gianfranco Costamagna]

coq-corn (8.20.0-1build9) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 06 Nov 2025 09:04:06 +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-corn/8.20.0-1build9
-------------- next part --------------
Format: 1.8
Date: Thu, 06 Nov 2025 09:04:06 +0100
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0-1build9
Distribution: resolute
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-1build9) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 9315e82708337a2ac21754242207c7bef5e40dfa 2104 coq-corn_8.20.0-1build9.dsc
 8c9efae6351df50ad021e42783778372772b7a7b 4536 coq-corn_8.20.0-1build9.debian.tar.xz
 09246f3e8df716ff5b09e4de1710724a9211006a 7845 coq-corn_8.20.0-1build9_source.buildinfo
Checksums-Sha256:
 514b0376dac5cd1bcd6fda20649f710c2d1b3ebbeec1cee1aee19ccf467e8ba2 2104 coq-corn_8.20.0-1build9.dsc
 675f85ce8a4ad0f4061c426a0b6a7b682fafa73a4347291ba62db862597dbcaa 4536 coq-corn_8.20.0-1build9.debian.tar.xz
 ef2835eb212116491c2637d33e3a75924168513cd7e9fe1ac028447ae88b0fe1 7845 coq-corn_8.20.0-1build9_source.buildinfo
Files:
 f26c4ddc54734d15d510a5c661e90d18 2104 ocaml optional coq-corn_8.20.0-1build9.dsc
 0148d9e82c2039d15b636e94ed49b12d 4536 ocaml optional coq-corn_8.20.0-1build9.debian.tar.xz
 b588cf0f2bbca44a4901dd81703d2802 7845 ocaml optional coq-corn_8.20.0-1build9_source.buildinfo