Format: 1.8
Date: Fri, 06 Nov 2026 17:26:03 +0100
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.2
Checksums-Sha1:
 deaf3352d58340dd30db0b2652069a616f41987a 778 dh-coq_0.17+ocaml1.dsc
 b4452b7a82f5ed69e047406f666176d171b53fb1 10984 dh-coq_0.17+ocaml1.tar.xz
 641eee547f6fdbee071537ae1f51cd9886c59177 10072 debian-coq-tools_0.17+ocaml1_all.deb
 8ff79089bc4262b00c0dd2043da02a82e2737d6a 7040 dh-coq_0.17+ocaml1_all.deb
 50433a39e7edca800f29dcf5a28c402e60a30d8d 5011 dh-coq_0.17+ocaml1_amd64.buildinfo
Checksums-Sha256:
 235ceb1c6441067b3b1c66e1daf2a80664bf817422e087be7671c35108fdf27d 778 dh-coq_0.17+ocaml1.dsc
 2fc2feb6ca9e4834d98efd1ee8a43ccc32b9b8a6a07a08d721a4b0d9eec9a4bc 10984 dh-coq_0.17+ocaml1.tar.xz
 ce9947e404c007491a886723c1eee6a92b4d749484d135c333230e8ec61fc493 10072 debian-coq-tools_0.17+ocaml1_all.deb
 cb3b84852e4ac761ec45a351de1fb1bf175ab33cd2c929b24565c580d8c2dd6c 7040 dh-coq_0.17+ocaml1_all.deb
 aadc67c0bf19c036519d265a569cf082fcb646d737e2541e36bd42e8ce386709 5011 dh-coq_0.17+ocaml1_amd64.buildinfo
Files:
 18da88536bdc5b1edeae4b24795f4232 778 ocaml optional dh-coq_0.17+ocaml1.dsc
 6e91b248c4511f0d25bbfe38d3d16d63 10984 ocaml optional dh-coq_0.17+ocaml1.tar.xz
 a0bb25c2f4b936e17ea3ebdc7e8b3c46 10072 ocaml optional debian-coq-tools_0.17+ocaml1_all.deb
 927a8676bf66d454f6dca6706a512860 7040 ocaml optional dh-coq_0.17+ocaml1_all.deb
 fb5f08c9983b1647a1366fd7dd1416cc 5011 ocaml optional dh-coq_0.17+ocaml1_amd64.buildinfo