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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sun, 31 Aug 2025 21:21:30 +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-1build5
-------------- next part --------------
Format: 1.8
Date: Sun, 31 Aug 2025 21:21:30 +0200
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0-1build5
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-1build5) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 11b8725b6251c4ed59d1a1ecfc409aca50c08a35 2104 coq-corn_8.20.0-1build5.dsc
 b7585a86798f3568fd23486d005b722f9a7e66ff 4476 coq-corn_8.20.0-1build5.debian.tar.xz
 5fbcfe7ec400fcf447cb9085fab498b3c5916f1c 6862 coq-corn_8.20.0-1build5_source.buildinfo
Checksums-Sha256:
 f65e7bd53eb5be229503d4a2eeb68c55fdd27d2b9bdce1d606aa4d346294dc47 2104 coq-corn_8.20.0-1build5.dsc
 217ce23c6bb711c806eaec090c3b3601c10843ad360c54a007fbd320a118d2b8 4476 coq-corn_8.20.0-1build5.debian.tar.xz
 cffe2f940e1e70fb1f7a3b98449d3b89588ed2c984dc9eff8a6974f5dad74cf4 6862 coq-corn_8.20.0-1build5_source.buildinfo
Files:
 7cca4ef84d6ec9766b8ee545fa776233 2104 ocaml optional coq-corn_8.20.0-1build5.dsc
 708eacd973b8a31b341d0d161cd26abc 4476 ocaml optional coq-corn_8.20.0-1build5.debian.tar.xz
 05b951286322458380eb6626d15c0580 6862 ocaml optional coq-corn_8.20.0-1build5_source.buildinfo