[ubuntu/oracular-proposed] coq-corn 8.19.0+ds1-1build2 (Accepted)

[Jeremy Bícha]

coq-corn (8.19.0+ds1-1build2) oracular; urgency=medium

  * Rebuild against latest coq-bignums

Date: Sun, 30 Jun 2024 07:13:30 -0400
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-corn/8.19.0+ds1-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 30 Jun 2024 07:13:30 -0400
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0+ds1-1build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-corn (8.19.0+ds1-1build2) oracular; urgency=medium
 .
   * Rebuild against latest coq-bignums
Checksums-Sha1:
 be48e3d28d0c6a854875cb1f59b4778fd49af0c6 2119 coq-corn_8.19.0+ds1-1build2.dsc
 d9a42216b475eabfa1b23feaaecd7dfe7e23d6f7 4356 coq-corn_8.19.0+ds1-1build2.debian.tar.xz
 8f966c80c8c36b6a7a81208de6beed3e86a86ec6 6667 coq-corn_8.19.0+ds1-1build2_source.buildinfo
Checksums-Sha256:
 27758264cf16decac4effb871324d87c310b666ae70fe0d51664f52012b05a6a 2119 coq-corn_8.19.0+ds1-1build2.dsc
 980d41faa65a5a9dbb34ea7114ce871e9dcd1a6d0f9ffc9bf3fceb12185545cd 4356 coq-corn_8.19.0+ds1-1build2.debian.tar.xz
 c9ba78f0a184824c3d33aa4b8df83d9a24711547002a101a1bc732110ce57663 6667 coq-corn_8.19.0+ds1-1build2_source.buildinfo
Files:
 c022ebfd04ab75c07f6faf7a25b994f2 2119 ocaml optional coq-corn_8.19.0+ds1-1build2.dsc
 4061408ce282bcdfbab1aa52909624ee 4356 ocaml optional coq-corn_8.19.0+ds1-1build2.debian.tar.xz
 eae737edef31086ad462edf0b9ce40d2 6667 ocaml optional coq-corn_8.19.0+ds1-1build2_source.buildinfo