[ubuntu/mantic-proposed] coq-corn 8.16.0-2build3 (Accepted)

[Gianfranco Costamagna]

coq-corn (8.16.0-2build3) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 10:45:41 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 10:45:41 +0200
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.0-2build3
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-2build3) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 ad212d961b40e54df7db733902c7a989891608d6 2091 coq-corn_8.16.0-2build3.dsc
 e873c9aa8407e9ea42320aeb5472fd218abbf1fc 3964 coq-corn_8.16.0-2build3.debian.tar.xz
 c028ae8850453333afa4100af38eabe270bc2dfc 7199 coq-corn_8.16.0-2build3_source.buildinfo
Checksums-Sha256:
 67dc77f27a87aa0f2ef65f4aabbda2a78c6e2eab773ae77c0ecd3c1082d4ce3f 2091 coq-corn_8.16.0-2build3.dsc
 97f1f27e7cca989f307b6c437bfbefff673e1f716de7216d44f35ece99a6657b 3964 coq-corn_8.16.0-2build3.debian.tar.xz
 e719b0442766ebc743dec07200279b34a251c637aea08f5549386a3d9abda7c6 7199 coq-corn_8.16.0-2build3_source.buildinfo
Files:
 16c54051c34bad0405bdf2aa5d8117bf 2091 ocaml optional coq-corn_8.16.0-2build3.dsc
 2b8e4a1014b23d7fd13557d47d27dbb1 3964 ocaml optional coq-corn_8.16.0-2build3.debian.tar.xz
 fc539403c7d40a2caf313de04792b226 7199 ocaml optional coq-corn_8.16.0-2build3_source.buildinfo