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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Tue, 27 Jan 2026 22:36:39 +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-1build11
-------------- next part --------------
Format: 1.8
Date: Tue, 27 Jan 2026 22:36:39 +0100
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0-1build11
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-1build11) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 ef02500f36af0ad851d16288b112ce3efb4be78a 2108 coq-corn_8.20.0-1build11.dsc
 1ad46935fd05a8df09fb5534b5234a100e6ef909 4564 coq-corn_8.20.0-1build11.debian.tar.xz
 5f4efbbf3d2ed8ad0cc6009a5049959f93d4e90a 7859 coq-corn_8.20.0-1build11_source.buildinfo
Checksums-Sha256:
 c2452b63f5df7f1c4b60b751857d966df670d0f8cba08e729dd21688b0198bfb 2108 coq-corn_8.20.0-1build11.dsc
 bb39733a43882b5fe36d5b895576b704928e865937b23d90a8778fb61e1f5806 4564 coq-corn_8.20.0-1build11.debian.tar.xz
 b64e75e5c1d17612c2505dc52ae3c403ded6f56a834b92615d5a656ed17d5a80 7859 coq-corn_8.20.0-1build11_source.buildinfo
Files:
 6e16fcba7b5119a24dfc472d8e928104 2108 ocaml optional coq-corn_8.20.0-1build11.dsc
 56a3696d91c3b1d9b9aec2a984a2d10c 4564 ocaml optional coq-corn_8.20.0-1build11.debian.tar.xz
 ea24cae15b697e4dd0404c389eba19ef 7859 ocaml optional coq-corn_8.20.0-1build11_source.buildinfo