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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 27 Jan 2023 09:43:14 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Fri, 27 Jan 2023 09:43:14 +0100
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.0-1build4
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-1build4) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 5f3a10e03c588137ee9ebc54560d86d1c3529d1a 2086 coq-corn_8.16.0-1build4.dsc
 a178cf3b0028e022f521629fdb80918d69a45191 3924 coq-corn_8.16.0-1build4.debian.tar.xz
 fd1971927265c2e39a9b24a84a27aebe835e550a 7100 coq-corn_8.16.0-1build4_source.buildinfo
Checksums-Sha256:
 6ef06f86c5b620aeef0c672eb3697275efbb478743fd9bbbf078f5e3c52bc5e8 2086 coq-corn_8.16.0-1build4.dsc
 2253bd7e6ee72f2ddad465140005d644cde243b771ee4b111d02b7a7dce923d5 3924 coq-corn_8.16.0-1build4.debian.tar.xz
 a1be5ae9d6fdede21671d40c8cbb27a8d475b3849cb0658bb879ea84bec3054f 7100 coq-corn_8.16.0-1build4_source.buildinfo
Files:
 d935f63481a4fceac03dde613b3235f6 2086 ocaml optional coq-corn_8.16.0-1build4.dsc
 49b6787bd151e712250c9a9bf6f07b35 3924 ocaml optional coq-corn_8.16.0-1build4.debian.tar.xz
 f8f5faaaa9c75191c1994ba1756ab734 7100 ocaml optional coq-corn_8.16.0-1build4_source.buildinfo