Format: 1.8
Date: Thu, 02 Jul 2026 10:41:22 +0200
Source: dh-coq
Binary: debian-coq-tools dh-coq
Architecture: source all
Version: 0.14+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 debian-coq-tools - various tools to manage Coq-related Debian packages
 dh-coq     - debhelper tool for Coq-related Debian packages
Changes:
 dh-coq (0.14+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.0
Checksums-Sha1:
 17e26047bd7b745677b111896784c0b27ca748e0 778 dh-coq_0.14+ocaml1.dsc
 99cf2fc59817f691bec29a2809e53cfdbc5f473e 10696 dh-coq_0.14+ocaml1.tar.xz
 c1057f066eb1217522d77af9b40e7e34f8a56cac 9708 debian-coq-tools_0.14+ocaml1_all.deb
 0e60c661d5567af2db4656b0af6cd9025807c7fc 6804 dh-coq_0.14+ocaml1_all.deb
 4acae5a1ae8b40352a995cbeb1381c44cd2220d9 5053 dh-coq_0.14+ocaml1_amd64.buildinfo
Checksums-Sha256:
 1da42b87f80e93543862ea47cd732b688965455b2661f2ce5719619be20dcc95 778 dh-coq_0.14+ocaml1.dsc
 490f6772c8879ffbdca00f08a9a4f9862439077977d11580d95a2c2dc23bba12 10696 dh-coq_0.14+ocaml1.tar.xz
 1d92a23df035d1496820fb4a65cbd23d7aab98cb619160a2454f902188c0647f 9708 debian-coq-tools_0.14+ocaml1_all.deb
 d0eb24e84584eba623f270dc7a130d94513a1f64aae0ad600602b2fad7443f54 6804 dh-coq_0.14+ocaml1_all.deb
 393fff6a0cc2a73a9a0340c752ca4545d986900f8791ddec2c797aa8ff22586c 5053 dh-coq_0.14+ocaml1_amd64.buildinfo
Files:
 5e93b6b23a468dd8bb59ef4add2b691e 778 ocaml optional dh-coq_0.14+ocaml1.dsc
 34e0421a535e19919484a18fa44fc44c 10696 ocaml optional dh-coq_0.14+ocaml1.tar.xz
 ca43bccab5ef04e54aa990d249281d68 9708 ocaml optional debian-coq-tools_0.14+ocaml1_all.deb
 cc0cab377c89ca88ea4d51bb929d9b08 6804 ocaml optional dh-coq_0.14+ocaml1_all.deb
 14dd67d6caa5ed4ba5a0ee24300d9457 5053 ocaml optional dh-coq_0.14+ocaml1_amd64.buildinfo