[ubuntu/lunar-proposed] coq-corn 8.16.0-2build1 (Accepted)

[Gianfranco Costamagna]

coq-corn (8.16.0-2build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:32:33 +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.16.0-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:32:33 +0100
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.0-2build1
Distribution: lunar
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.16.0-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 09694f5fd999d53742539d506d18c4bf16e6d733 2091 coq-corn_8.16.0-2build1.dsc
 5594c43c1a78db8ef03ef7e28a3431c38e5a0826 3924 coq-corn_8.16.0-2build1.debian.tar.xz
 3fa409427eedb158d89eaf7f7e3bffcdb2c6258f 7144 coq-corn_8.16.0-2build1_source.buildinfo
Checksums-Sha256:
 7871e59843c011b47cdbf5901dd09fe95de4b53da83af26dd9f3df1d121111fc 2091 coq-corn_8.16.0-2build1.dsc
 8d72c3fbd19ba4ac4de7b5cb936597da764943fd7d214a5042e01ba7b2f12808 3924 coq-corn_8.16.0-2build1.debian.tar.xz
 2342b946ef18b200ed15f9b2d1a80be3d531d8f525869fc47da616b0bfca6701 7144 coq-corn_8.16.0-2build1_source.buildinfo
Files:
 604f340961dd68e65bd8735beedd300a 2091 ocaml optional coq-corn_8.16.0-2build1.dsc
 410bb427592590c824b89b6e4b683fb8 3924 ocaml optional coq-corn_8.16.0-2build1.debian.tar.xz
 1b7a023b6fb6e402744b0fb0c6598ced 7144 ocaml optional coq-corn_8.16.0-2build1_source.buildinfo