[ubuntu/noble-proposed] coq-corn 8.16.0-3build2 (Accepted)

[Gianfranco Costamagna]

coq-corn (8.16.0-3build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:16:34 +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-3build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:16:34 +0100
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.0-3build2
Distribution: noble
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-3build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 6bade245df893a4aaaea5e653aebe99c69175b29 2091 coq-corn_8.16.0-3build2.dsc
 8df1d00b0bcf1c086281873555b11596a64bc822 3972 coq-corn_8.16.0-3build2.debian.tar.xz
 301312a209fa5b9026ec8d3e7da5f873c920f1f4 7804 coq-corn_8.16.0-3build2_source.buildinfo
Checksums-Sha256:
 dbd3faae5b824ed6c786141d28d0fb569ac874ea4d6202447ac32a205156eec9 2091 coq-corn_8.16.0-3build2.dsc
 cac451960ba51fc38eec51ec4dc428134245703d21613b4809b812646d077dae 3972 coq-corn_8.16.0-3build2.debian.tar.xz
 0424f1176eedb0748c2d36afb39a7efa4a54bb6e136154854555375a671187c3 7804 coq-corn_8.16.0-3build2_source.buildinfo
Files:
 a66ce2dddf11f24cd1b1721908809787 2091 ocaml optional coq-corn_8.16.0-3build2.dsc
 0b17f7cfc14221fbcdba9a77c30ed102 3972 ocaml optional coq-corn_8.16.0-3build2.debian.tar.xz
 bec57e7a672fbb99e61980f6cb1434a3 7804 ocaml optional coq-corn_8.16.0-3build2_source.buildinfo