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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Sun, 04 Aug 2024 17:42:37 -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-1build3
-------------- next part --------------
Format: 1.8
Date: Sun, 04 Aug 2024 17:42:37 -0400
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0+ds1-1build3
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-1build3) oracular; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 419dee38544640d223c3e34f31fb3ac66dd778ff 2119 coq-corn_8.19.0+ds1-1build3.dsc
 64c248330a7df84b8a682547083cd12be165faff 4372 coq-corn_8.19.0+ds1-1build3.debian.tar.xz
 80771a760fe1b5c11eec397bf4e4110edd0d3615 6793 coq-corn_8.19.0+ds1-1build3_source.buildinfo
Checksums-Sha256:
 4860c2344e9000615e109f1e288339fbee5ce50b8abad0bd47d8087667dbaf51 2119 coq-corn_8.19.0+ds1-1build3.dsc
 5fde9c11f77bf11482014a0fc0e720e3b93b4a9abd0f2e244853a87ec181af89 4372 coq-corn_8.19.0+ds1-1build3.debian.tar.xz
 4077be6a872f4fd0c079ab0978da94f7c4d7d974bb09eb0fe164d51fada3a48e 6793 coq-corn_8.19.0+ds1-1build3_source.buildinfo
Files:
 8eeff617a2fbc4b9e555bd49ed2795dc 2119 ocaml optional coq-corn_8.19.0+ds1-1build3.dsc
 5f50838e0d6c66c5699835426d617556 4372 ocaml optional coq-corn_8.19.0+ds1-1build3.debian.tar.xz
 14c7c815b186453eb6944f512e8d226c 6793 ocaml optional coq-corn_8.19.0+ds1-1build3_source.buildinfo