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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Wed, 22 Oct 2025 22:49:02 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Wed, 22 Oct 2025 22:49:02 +0200
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0-1build6
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-1build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 63b4ee490236f0edefd4b5dcd78fd5038cc600ec 2104 coq-corn_8.20.0-1build6.dsc
 b4514066a65d37fe95a0b898825b66c1a489fc6d 4500 coq-corn_8.20.0-1build6.debian.tar.xz
 83adb58a56910ee2ed44968be8587bb97160ce22 6864 coq-corn_8.20.0-1build6_source.buildinfo
Checksums-Sha256:
 272986059c3fcf90a9c9c212a6b8a98e624346b18d9edeb300c3611442bc5ad5 2104 coq-corn_8.20.0-1build6.dsc
 d58b13c83f790f2988c597f404fbc92f903c30d4cc9df6e47eca2f191d9fd6bb 4500 coq-corn_8.20.0-1build6.debian.tar.xz
 0914fe7c8f6789285edbe2e50bad27e95fdc477e00fece2bf24de7a9fd9c6a4e 6864 coq-corn_8.20.0-1build6_source.buildinfo
Files:
 14e5d365bbb39df6d8584171f010e030 2104 ocaml optional coq-corn_8.20.0-1build6.dsc
 835d4d70882a7d11c84d36463988b85e 4500 ocaml optional coq-corn_8.20.0-1build6.debian.tar.xz
 e9551157a4840eb66e55d7e846cd3372 6864 ocaml optional coq-corn_8.20.0-1build6_source.buildinfo