[ubuntu/oracular-proposed] coq-corn 8.19.0-1build1 (Accepted)

[Gianfranco Costamagna]

coq-corn (8.19.0-1build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:14:33 +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.19.0-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:14:33 +0200
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build1
Distribution: oracular
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.19.0-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 ec843e7ba7fa0bf41aac88239cda8ad214c9914a 2088 coq-corn_8.19.0-1build1.dsc
 ffabb17a859fc064ad76565cb9b176057b75092d 4216 coq-corn_8.19.0-1build1.debian.tar.xz
 419cfa3b16f015b233a94d4a4776d8961fe38196 7824 coq-corn_8.19.0-1build1_source.buildinfo
Checksums-Sha256:
 064a136e204b4e01a4cfd495f9ef916edd7ebf62baf9037e99e0b32614f659cf 2088 coq-corn_8.19.0-1build1.dsc
 5dabccbb32ece35a6ae9629a22354f7d9f2cb1df9978277390a37586301ac783 4216 coq-corn_8.19.0-1build1.debian.tar.xz
 27a2b7c1686c4de475126e34d3b600e8e65787eb799c27d4689ae38ecd051b9c 7824 coq-corn_8.19.0-1build1_source.buildinfo
Files:
 b2b56a96b71ec49188b15276f26c6f15 2088 ocaml optional coq-corn_8.19.0-1build1.dsc
 e428e23cd18f118120acdb6e7d8cf573 4216 ocaml optional coq-corn_8.19.0-1build1.debian.tar.xz
 78785976271ea8b84c3aaa192d9eb88a 7824 ocaml optional coq-corn_8.19.0-1build1_source.buildinfo