[ubuntu/mantic-proposed] coq-corn 8.16.0-3build1 (Accepted)

[Gianfranco Costamagna]

coq-corn (8.16.0-3build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:13:19 +0200
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-3build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:13:19 +0200
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.0-3build1
Distribution: mantic
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-3build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4b40faccbd1cf015fb39ba365bd532c73d16c1d3 2091 coq-corn_8.16.0-3build1.dsc
 d6171c77db831203a992f244b6bd544d37417275 3952 coq-corn_8.16.0-3build1.debian.tar.xz
 5b847f4b7c140348ee449b468e9d7f063c823f5b 7778 coq-corn_8.16.0-3build1_source.buildinfo
Checksums-Sha256:
 9425ac49bfbe860b23ef758166247507837c438de8646495946d31337e27bb31 2091 coq-corn_8.16.0-3build1.dsc
 e23b5eab1afdb82e2b7930a3351e2f3bcc33a2f3d845595e57c8ef05946fa7da 3952 coq-corn_8.16.0-3build1.debian.tar.xz
 4fe332e6f1397cfa749f203e5eee440eee0bf1af8fd30dc022c313f67cb3a8c6 7778 coq-corn_8.16.0-3build1_source.buildinfo
Files:
 1ee5b27d3e4614d409d6a823cee669a1 2091 ocaml optional coq-corn_8.16.0-3build1.dsc
 1bf6df1945d189a316fef11e6bb9dc2c 3952 ocaml optional coq-corn_8.16.0-3build1.debian.tar.xz
 a3dcdbeb4f47afd66573e5a9edea0c87 7778 ocaml optional coq-corn_8.16.0-3build1_source.buildinfo