[ubuntu/questing-proposed] coq-corn 8.20.0-1build4 (Accepted)

[Gianfranco Costamagna]

coq-corn (8.20.0-1build4) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 19 Jun 2025 18:36:46 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 18:36:46 +0200
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0-1build4
Distribution: questing
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-1build4) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 3f9a8342ad156288cb6d6ea9c6d8de2aa7a2c121 2104 coq-corn_8.20.0-1build4.dsc
 329c282d3ec77a0b3c34fb742d19b9f8477c938e 4460 coq-corn_8.20.0-1build4.debian.tar.xz
 b6b50f66a599cfbacd39919545e5d98655374dea 6858 coq-corn_8.20.0-1build4_source.buildinfo
Checksums-Sha256:
 d842277d79652e8ec11e0e4888b434a62ecf9092f4ed25f773ffe6300eeeff68 2104 coq-corn_8.20.0-1build4.dsc
 58973031f67022c251ef5fdb69dd35479c87a27db70acdcf1bbd11f46b5c45d4 4460 coq-corn_8.20.0-1build4.debian.tar.xz
 546189d26abccd15d92f6fdbb57de3df8216f77200369248a6b076d4822cedff 6858 coq-corn_8.20.0-1build4_source.buildinfo
Files:
 282e4361a8f23f2901c4da70b762230e 2104 ocaml optional coq-corn_8.20.0-1build4.dsc
 2ee51f3024f058adb92492ae0aee26c0 4460 ocaml optional coq-corn_8.20.0-1build4.debian.tar.xz
 da5b29bfad39cfa47b5b4864fee88ab8 6858 ocaml optional coq-corn_8.20.0-1build4_source.buildinfo