Format: 1.8
Date: Wed, 11 Nov 2026 14:52:44 +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:
 5497b2bc64cd8bef8d42af6d7df6c1388f8682ec 1225 coq-corn_9.2.0-1+ocaml1.dsc
 a4d2c3e70a5ec505413a0f89c7d2598919f9a8d2 1322383 coq-corn_9.2.0.orig.tar.gz
 67b29a356e70916672118d04f85bf212fab08a26 4536 coq-corn_9.2.0-1+ocaml1.debian.tar.xz
 1dc8557a2b8f21c23c0528d9712f11cd4aee18c3 6841 coq-corn_9.2.0-1+ocaml1_amd64.buildinfo
 b244b69ea0f8cab674fe4c7de1a5c7c59f79d7ad 13367632 libcoq-corn_9.2.0-1+ocaml1_amd64.deb
Checksums-Sha256:
 8bcdceaffb736f22278fb15bb4258e53a5f9bdf5b5552d0c514a5309c78bb68c 1225 coq-corn_9.2.0-1+ocaml1.dsc
 d34e30c278209eef5d566c97f2b98c5fe1981d99cec29e269fb89feaf45b9109 1322383 coq-corn_9.2.0.orig.tar.gz
 157962fbfa3f21c88f97334e7bcecfaa262cca9e8801cca4dca5a662f55d1844 4536 coq-corn_9.2.0-1+ocaml1.debian.tar.xz
 448cb456f4b09cf805cc6730411ecceeeda0cdd7dc975ab82139a737a7cd61b0 6841 coq-corn_9.2.0-1+ocaml1_amd64.buildinfo
 d3f77a05f3a49ae360db855b95828ced33a0054794fbdac5161ca4a2c53b8e41 13367632 libcoq-corn_9.2.0-1+ocaml1_amd64.deb
Files:
 3a03043877fd68cfdfa260449c425bc8 1225 ocaml optional coq-corn_9.2.0-1+ocaml1.dsc
 9355d13cfcb76c052a8c8b7cbb6b157c 1322383 ocaml optional coq-corn_9.2.0.orig.tar.gz
 5e607735a71b957491eb0ae1fc4b9a50 4536 ocaml optional coq-corn_9.2.0-1+ocaml1.debian.tar.xz
 28482c4c61d02ba89be89c98182a8f16 6841 ocaml optional coq-corn_9.2.0-1+ocaml1_amd64.buildinfo
 4f283b52b5abb8c99f7900569bd41356 13367632 ocaml optional libcoq-corn_9.2.0-1+ocaml1_amd64.deb