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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 24 Oct 2025 19:23:17 +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-1build7
-------------- next part --------------
Format: 1.8
Date: Fri, 24 Oct 2025 19:23:17 +0200
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0-1build7
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-1build7) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b276e3d76fce5fd0d6c6d7a9cd195e4a808a185f 2104 coq-corn_8.20.0-1build7.dsc
 77289b0abb3fffa6d416e1b7f60116541eb3ffac 4512 coq-corn_8.20.0-1build7.debian.tar.xz
 2ff3ffafd5deb3fda1f567ca6b34949792101312 6864 coq-corn_8.20.0-1build7_source.buildinfo
Checksums-Sha256:
 6defa04329c72e6bcbef4534e15dfa1d98d60c1e0a3db6580bda536fef214b0e 2104 coq-corn_8.20.0-1build7.dsc
 0d41cb52488ac023df1cde7073b0c1592e47726f1ce34e79c17fec3a2477fd5b 4512 coq-corn_8.20.0-1build7.debian.tar.xz
 fdcd9aa68fac4b0447183cb781d064cd889c5669a590e119b5ec9932f6615161 6864 coq-corn_8.20.0-1build7_source.buildinfo
Files:
 3ac217fdc5b57440471bfa9f05b2f936 2104 ocaml optional coq-corn_8.20.0-1build7.dsc
 ba5f159814646e86edc24c27083cb032 4512 ocaml optional coq-corn_8.20.0-1build7.debian.tar.xz
 a8b7c584b9615e76a40624b0420189db 6864 ocaml optional coq-corn_8.20.0-1build7_source.buildinfo