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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:14:46 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:14:46 +0100
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.0-1build1
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-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2f82323521461bcbff51baf235b58eed821a0881 2086 coq-corn_8.16.0-1build1.dsc
 68ceca0e86b4cce4b7abb2942adbf30d3bc93a80 3876 coq-corn_8.16.0-1build1.debian.tar.xz
 e02927bb23b1e69f52be147856642748eb9697fb 7877 coq-corn_8.16.0-1build1_source.buildinfo
Checksums-Sha256:
 c796f03303012d494982dcf7e65b1c84ebc17194f5aec8a73d556d7cf5db42d1 2086 coq-corn_8.16.0-1build1.dsc
 6ad107f454c9eb93d4f9ef8eb3a23b4a5efb25d7a99aef94d9034dabe7b12150 3876 coq-corn_8.16.0-1build1.debian.tar.xz
 d6e3b28cbce3c2646a85a98e27ce5a6bb210273219525edfc3e3a06d8a071911 7877 coq-corn_8.16.0-1build1_source.buildinfo
Files:
 2684506c254aa9a59ffd866576f9f57c 2086 ocaml optional coq-corn_8.16.0-1build1.dsc
 10e7e68ffb76a0dc6b9786a76b4773ee 3876 ocaml optional coq-corn_8.16.0-1build1.debian.tar.xz
 5edd43e8e518702a7217e235ce8b5555 7877 ocaml optional coq-corn_8.16.0-1build1_source.buildinfo