[ubuntu/plucky-proposed] coq-corn 8.19.0+ds1-2build2 (Accepted)

[Jeremy Bícha]

coq-corn (8.19.0+ds1-2build2) plucky; urgency=medium

  * Rebuild against latest ocaml

Date: Sun, 02 Feb 2025 07:05:49 -0500
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-2build2
-------------- next part --------------
Format: 1.8
Date: Sun, 02 Feb 2025 07:05:49 -0500
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0+ds1-2build2
Distribution: plucky
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-2build2) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 8f195504aab43d3173aa05ba37255fa15633ec70 2119 coq-corn_8.19.0+ds1-2build2.dsc
 99ef1902137509f9b02b2b53fac3728bf6102cea 4392 coq-corn_8.19.0+ds1-2build2.debian.tar.xz
 247b8508e1197edcbdd7b2ec49fcfab6a3932199 7066 coq-corn_8.19.0+ds1-2build2_source.buildinfo
Checksums-Sha256:
 59ca68813c31ef7005b03b028735e3d7d9018bb7ff48a16783be6cce797ff19d 2119 coq-corn_8.19.0+ds1-2build2.dsc
 6ae0cd97b2204810c6c3de6cdf06273c0d578ac175d83fa9a964f4d12d0825f4 4392 coq-corn_8.19.0+ds1-2build2.debian.tar.xz
 bbff2ae6f14ec4df4db3c9643fb9ca73146a4c16d859b5105ecaa8c94c97e715 7066 coq-corn_8.19.0+ds1-2build2_source.buildinfo
Files:
 d864d6e3706b6ca20a052f162cf3022c 2119 ocaml optional coq-corn_8.19.0+ds1-2build2.dsc
 f6ee2277e9f9a4031c1742db7c2ce3d9 4392 ocaml optional coq-corn_8.19.0+ds1-2build2.debian.tar.xz
 7492e066c633235a8c1eb1763e9aa8e2 7066 ocaml optional coq-corn_8.19.0+ds1-2build2_source.buildinfo