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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 03 Jan 2026 19:08:38 +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-1build10
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Jan 2026 19:08:38 +0100
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0-1build10
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-1build10) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 5c4f3d335ff922577ab1322cac0ae36ac71c3400 2108 coq-corn_8.20.0-1build10.dsc
 4ac8fb0a81db84a132fe37ba07de907af6f65997 4552 coq-corn_8.20.0-1build10.debian.tar.xz
 8cb6b9f0029cc443c92d68094e4fefdf297f29ff 7855 coq-corn_8.20.0-1build10_source.buildinfo
Checksums-Sha256:
 422ec628dc13c91c7a76495ada88eaebc4d15dc50e9020d40b4c8d2a92acddb7 2108 coq-corn_8.20.0-1build10.dsc
 16d771aa8cc667584e2bde14918c10b1a8d3174e5f5128594fd379f624614161 4552 coq-corn_8.20.0-1build10.debian.tar.xz
 90adb25177ff3807f4224097d1fed16efb2896245e19f829d9718c55d13e679a 7855 coq-corn_8.20.0-1build10_source.buildinfo
Files:
 6dce430a24b2e03031c18e88980163c6 2108 ocaml optional coq-corn_8.20.0-1build10.dsc
 720b73e09fac7d3f21e1306be83ba2d3 4552 ocaml optional coq-corn_8.20.0-1build10.debian.tar.xz
 de2006e881eca8a2274e61977cdf4b59 7855 ocaml optional coq-corn_8.20.0-1build10_source.buildinfo