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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Sat, 23 Dec 2023 14:11:41 -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.16.0-3build4
-------------- next part --------------
Format: 1.8
Date: Sat, 23 Dec 2023 14:11:41 -0500
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.0-3build4
Distribution: noble
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.16.0-3build4) noble; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 ca520b77672524192ec94fabaa2cdf5e8b5a4db2 2091 coq-corn_8.16.0-3build4.dsc
 2de41b7b82605fbccde9cea9d3bdaa46dd582d00 4052 coq-corn_8.16.0-3build4.debian.tar.xz
 cf2a426cb2902990965f1447abd7235dcfd865e4 7260 coq-corn_8.16.0-3build4_source.buildinfo
Checksums-Sha256:
 2de01ec5579a62451fa91183d3e70c06ff1d357cd0cd4edab4d8182fe994bd02 2091 coq-corn_8.16.0-3build4.dsc
 d26e161dc3266a1aafc569058b6b6d6c404ffe90df8d5947ee77ad3c3e162544 4052 coq-corn_8.16.0-3build4.debian.tar.xz
 b6bb534035c3bdac44e81b5009fa8936f9196e9825444f29acd8be8ba2d96788 7260 coq-corn_8.16.0-3build4_source.buildinfo
Files:
 df3eb785bb8bf2fb006386067b0eab88 2091 ocaml optional coq-corn_8.16.0-3build4.dsc
 68cdf16e1468e6b97b7e9b71873d93ff 4052 ocaml optional coq-corn_8.16.0-3build4.debian.tar.xz
 10155808976f4929021d58b479402d20 7260 ocaml optional coq-corn_8.16.0-3build4_source.buildinfo