[ubuntu/plucky-proposed] coq-corn 8.20.0-1build1 (Accepted)

[Gianfranco Costamagna]

coq-corn (8.20.0-1build1) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 08:23:38 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 08:23:38 +0100
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0-1build1
Distribution: plucky
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-1build1) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 764f788914a28ca707f7d6d7e2012da3f8427ddc 2104 coq-corn_8.20.0-1build1.dsc
 2b9cebc1bf5bba4dd76599b613b66752f8ea68be 4372 coq-corn_8.20.0-1build1.debian.tar.xz
 a8e506ae27b8f31cd65f8d36d467a8109e5feb23 7295 coq-corn_8.20.0-1build1_source.buildinfo
Checksums-Sha256:
 8bafa0680ce60768ccd2a87a0101bdeb5f8cef19a5e713bfd1725d5f5710b484 2104 coq-corn_8.20.0-1build1.dsc
 51c945e949eb25743df247c5afb79face0ac5c8be77ace6ecc6f6ab52d2722a7 4372 coq-corn_8.20.0-1build1.debian.tar.xz
 d8fd8eb43be0421973f0222f4df2ef91a7a7cc196defd8c377bc45dd077142e8 7295 coq-corn_8.20.0-1build1_source.buildinfo
Files:
 d1b7bf730a119056a74814489d186644 2104 ocaml optional coq-corn_8.20.0-1build1.dsc
 4d416c6ce3d676e746091f5bb1a2689d 4372 ocaml optional coq-corn_8.20.0-1build1.debian.tar.xz
 f8716a265352ab4932f1a33cd80daf83 7295 ocaml optional coq-corn_8.20.0-1build1_source.buildinfo