Format: 1.8
Date: Mon, 07 Sep 2026 14:17:36 +0200
Source: dh-coq
Binary: debian-coq-tools dh-coq
Architecture: source all
Version: 0.17+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.17+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.1
Checksums-Sha1:
 80ae936fa248400d15f48dea14126f021c258469 778 dh-coq_0.17+ocaml1.dsc
 58b0b168fbcb6a9c2a0663e403521a1c8e858a34 10972 dh-coq_0.17+ocaml1.tar.xz
 4447f18cdb524ed7d252ecadef79350165e1c9e7 10056 debian-coq-tools_0.17+ocaml1_all.deb
 e8e9765bb25586b12589c030404b76e41634dc15 7036 dh-coq_0.17+ocaml1_all.deb
 ce580b65e8bb52baf6fbb3aaacc9a2a3aa4ca98b 4880 dh-coq_0.17+ocaml1_amd64.buildinfo
Checksums-Sha256:
 983e8813a57e957c2e10aeb945003abc53c6682fa44c311df898a811193a7caa 778 dh-coq_0.17+ocaml1.dsc
 2c31bb95369916a4a8e5ff597de1f07426884f0bbef378b60dd16e13aa740946 10972 dh-coq_0.17+ocaml1.tar.xz
 2be9b50f224d58a3a8fbe4d5144b8c4ec24be6ab3455514d061f6e54ac9f0e46 10056 debian-coq-tools_0.17+ocaml1_all.deb
 8351d035926428637242be50c3aaf6f9b20288648769973d7dfbaf7e4dd3ad5d 7036 dh-coq_0.17+ocaml1_all.deb
 3a91a5c40db9221b18956d8abc9cfe345ba04ccbdbc2d7d9d0103e007ddad151 4880 dh-coq_0.17+ocaml1_amd64.buildinfo
Files:
 45103411a96dba0ad0f21838e5e4ad27 778 ocaml optional dh-coq_0.17+ocaml1.dsc
 811b54e3814ffcc84e5de22b9866d0f0 10972 ocaml optional dh-coq_0.17+ocaml1.tar.xz
 6d2faf01689192afc2bb43559d9fc7bf 10056 ocaml optional debian-coq-tools_0.17+ocaml1_all.deb
 ec7d6e99b8d15c9f307885df1000061c 7036 ocaml optional dh-coq_0.17+ocaml1_all.deb
 a6ed3d5bc1f48cb303a13daa16c4838b 4880 ocaml optional dh-coq_0.17+ocaml1_amd64.buildinfo