[ubuntu/lunar-proposed] coq-corn 8.16.0-1build3 (Accepted)

[Gianfranco Costamagna]

coq-corn (8.16.0-1build3) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 31 Dec 2022 12:10:18 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Sat, 31 Dec 2022 12:10:18 +0100
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.0-1build3
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-1build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 9d497ae809ad9d72ca2f3587ee615cfec320bc47 2086 coq-corn_8.16.0-1build3.dsc
 cb1adb4ccf4269056d106888db6489fdaa529d62 3908 coq-corn_8.16.0-1build3.debian.tar.xz
 ae0ae5590179346ccba4c6c1caa0bd227955b1ac 7076 coq-corn_8.16.0-1build3_source.buildinfo
Checksums-Sha256:
 6edda2f857d977f7f12ec491104a020b1bb533df27325274407c5dd4107b198a 2086 coq-corn_8.16.0-1build3.dsc
 a711570aa6b0a31c3d3b81c5c5b104779fe9419883315298cd9a9fc41f179a01 3908 coq-corn_8.16.0-1build3.debian.tar.xz
 295979f423fa5f890180bed1cbb8ba3e1f98144bc3147f79491b9add4c3818e7 7076 coq-corn_8.16.0-1build3_source.buildinfo
Files:
 84f857267afc35131de82a210b4f3548 2086 ocaml optional coq-corn_8.16.0-1build3.dsc
 db8a2eada36a3442f5b381c0e81f6503 3908 ocaml optional coq-corn_8.16.0-1build3.debian.tar.xz
 f62ccb3459b852777d2fd3c408cf7ff2 7076 ocaml optional coq-corn_8.16.0-1build3_source.buildinfo