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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 25 Oct 2025 18:21:09 +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-1build8
-------------- next part --------------
Format: 1.8
Date: Sat, 25 Oct 2025 18:21:09 +0200
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0-1build8
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-1build8) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 70f7b3a729299dcdc109f8cae5d5010f55382f8a 2104 coq-corn_8.20.0-1build8.dsc
 8f130a6387d08f4528e9301bbe95029aa0e24b6b 4520 coq-corn_8.20.0-1build8.debian.tar.xz
 f5e44d1ec7f9f1ab83256a1f424025e20bc6978d 5625 coq-corn_8.20.0-1build8_source.buildinfo
Checksums-Sha256:
 85bec0081a6b09304eb97fa7dc25229f545521426d7ca7a16d37456ef492aa28 2104 coq-corn_8.20.0-1build8.dsc
 10a084577c0135ecf9034649e861b2d9cb5a75ff100b636da003ee2b79134821 4520 coq-corn_8.20.0-1build8.debian.tar.xz
 318cd8d620a8bdeeda3eedadde289eeb20a5ee9305d0cfc36273bf9b13a9addd 5625 coq-corn_8.20.0-1build8_source.buildinfo
Files:
 f52ff35a40dd2ca30daba171da48a79a 2104 ocaml optional coq-corn_8.20.0-1build8.dsc
 b61f638a0652211c42e07e0cc047af9c 4520 ocaml optional coq-corn_8.20.0-1build8.debian.tar.xz
 6d1aa35041ecf3091ffb0ea41591b9ce 5625 ocaml optional coq-corn_8.20.0-1build8_source.buildinfo