Format: 1.8
Date: Fri, 06 Nov 2026 23:55:10 +0100
Source: coq-corn
Binary: libcoq-corn
Architecture: source amd64
Version: 9.2.0-1+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 libcoq-corn - Coq Constructive Repository at Nijmegen
Changes:
 coq-corn (9.2.0-1+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 19913b34a87bc2c2bfb1be17bb7f74b1fddfdd63 1225 coq-corn_9.2.0-1+ocaml1.dsc
 a4d2c3e70a5ec505413a0f89c7d2598919f9a8d2 1322383 coq-corn_9.2.0.orig.tar.gz
 5abc1675d2e69cc8d2b926345fb57f2a17549f4b 4536 coq-corn_9.2.0-1+ocaml1.debian.tar.xz
 67cf59cb7401e060320617ee13ea03e53bca91e5 6838 coq-corn_9.2.0-1+ocaml1_amd64.buildinfo
 4515107e8dde6b47b7a138af940443ad83f701a2 13367440 libcoq-corn_9.2.0-1+ocaml1_amd64.deb
Checksums-Sha256:
 20d36b5b3e4cc16b37bb52288a08d8e884469d1662e454da1f07a5dae09263f5 1225 coq-corn_9.2.0-1+ocaml1.dsc
 d34e30c278209eef5d566c97f2b98c5fe1981d99cec29e269fb89feaf45b9109 1322383 coq-corn_9.2.0.orig.tar.gz
 5dde39b43132483847634742b3b0c726f57d9d2caa00599facd021f5666301cc 4536 coq-corn_9.2.0-1+ocaml1.debian.tar.xz
 444e15ad6f0c0bd54d7b83094e9367930c910ea7bb1fadb931438d5d851b8e58 6838 coq-corn_9.2.0-1+ocaml1_amd64.buildinfo
 c3100c0eab17de1b4f4566b490bb5619fca1259c9c87f30b7b109b589624ac45 13367440 libcoq-corn_9.2.0-1+ocaml1_amd64.deb
Files:
 2efd621f04c74507fc7f356255e14102 1225 ocaml optional coq-corn_9.2.0-1+ocaml1.dsc
 9355d13cfcb76c052a8c8b7cbb6b157c 1322383 ocaml optional coq-corn_9.2.0.orig.tar.gz
 88dee8f5e1757e7b9492fb2c80949006 4536 ocaml optional coq-corn_9.2.0-1+ocaml1.debian.tar.xz
 948eda334114dc2331ca4c9a25ddc6ed 6838 ocaml optional coq-corn_9.2.0-1+ocaml1_amd64.buildinfo
 5263ae720356960ed6c994d745956a42 13367440 ocaml optional libcoq-corn_9.2.0-1+ocaml1_amd64.deb