[ubuntu/questing-proposed] coq-corn 8.20.0-1build2 (Accepted)

[Jeremy Bícha]

coq-corn (8.20.0-1build2) questing; urgency=medium

  * Rebuild against latest coq libraries

Date: Wed, 07 May 2025 15:51:07 -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.20.0-1build2
-------------- next part --------------
Format: 1.8
Date: Wed, 07 May 2025 15:51:07 -0400
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0-1build2
Distribution: questing
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.20.0-1build2) questing; urgency=medium
 .
   * Rebuild against latest coq libraries
Checksums-Sha1:
 4b5d689c78be0a75a7bf7e9b1c78452d597b314c 2104 coq-corn_8.20.0-1build2.dsc
 aff47de292260bdc2100d34531fe3afa066b0bca 4428 coq-corn_8.20.0-1build2.debian.tar.xz
 91fe49635fde4d856684b72085dbef421afa4490 6893 coq-corn_8.20.0-1build2_source.buildinfo
Checksums-Sha256:
 f78120c6d927e5f58d3b99cb405c420b8ded5d6fb3a38e00c9533ba5dd62d26e 2104 coq-corn_8.20.0-1build2.dsc
 273037584da7265ea093345c22a73bc8dfec0f49f761797bbebf81f0fc801346 4428 coq-corn_8.20.0-1build2.debian.tar.xz
 3c65af188b03caaa517d71e2571d0e9f49ca85c2f7d4f067ee4ebc8f0d9175e9 6893 coq-corn_8.20.0-1build2_source.buildinfo
Files:
 e6c3f7eb8e653d73d7c60678faa85423 2104 ocaml optional coq-corn_8.20.0-1build2.dsc
 3f994c22b96bc4130931700a98e7c73d 4428 ocaml optional coq-corn_8.20.0-1build2.debian.tar.xz
 b0cacf2ef72cd19f2f38052299d85fb7 6893 ocaml optional coq-corn_8.20.0-1build2_source.buildinfo