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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:45: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-3build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:45:46 +0100
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.0-3build3
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-3build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 99950b7af2f242f98978614a967c03b5f758c63e 2091 coq-corn_8.16.0-3build3.dsc
 b699a27a1112eac9f67c9a2fbd86f01b687fe3eb 3992 coq-corn_8.16.0-3build3.debian.tar.xz
 61b53b875dee16bfb040cbfdacaa594294ca0ce9 7804 coq-corn_8.16.0-3build3_source.buildinfo
Checksums-Sha256:
 5f504a27f1b007cb5e25996f7ea31ee037713b9588fdcc36fa1de1b95c527615 2091 coq-corn_8.16.0-3build3.dsc
 3b41633afca32e20034e6f2e0f5337345c4bfcb3e53545dd7f7e069a89ac351c 3992 coq-corn_8.16.0-3build3.debian.tar.xz
 7b746bba1eb59ca57f4ef2fcdb597707325c76c3812f17202b5db1adbfac1f04 7804 coq-corn_8.16.0-3build3_source.buildinfo
Files:
 59179279ebafa52593d5a0c743f99d8d 2091 ocaml optional coq-corn_8.16.0-3build3.dsc
 465f0be325a2e8026970ccdb1b69829e 3992 ocaml optional coq-corn_8.16.0-3build3.debian.tar.xz
 70b0a2fa2e62833177be8797f7f60c10 7804 ocaml optional coq-corn_8.16.0-3build3_source.buildinfo