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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 12:57: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-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 12:57:33 +0100
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.0-1build2
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-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 51126f017ceaa0d68c2c0697b000915089bd7459 2086 coq-corn_8.16.0-1build2.dsc
 1ceb47fdb183bf8fdc4ffb99aa33fe28fe4e1524 3900 coq-corn_8.16.0-1build2.debian.tar.xz
 645e6931a30ea43a5a80c4678090482fb919edbf 7879 coq-corn_8.16.0-1build2_source.buildinfo
Checksums-Sha256:
 3bcb56bbe08f4057454a01130ef79affccde7b9e24021ec550adf60a8a447da0 2086 coq-corn_8.16.0-1build2.dsc
 39766a7b44dce34c38281191baa6d9e0ab23aa174eccacc45174d8fcb94ea4af 3900 coq-corn_8.16.0-1build2.debian.tar.xz
 33acb4978721cfce0031a54f38377590a00fd7296d57cb8ea8f75c3c731cfe51 7879 coq-corn_8.16.0-1build2_source.buildinfo
Files:
 52d86b63bee90089d11c82d46ad85706 2086 ocaml optional coq-corn_8.16.0-1build2.dsc
 fa1d40879263ac5ab19e8dc57fca9908 3900 ocaml optional coq-corn_8.16.0-1build2.debian.tar.xz
 9f7ff7693b4edc6eb15e516cb1f6765d 7879 ocaml optional coq-corn_8.16.0-1build2_source.buildinfo