Format: 1.8
Date: Sat, 25 Apr 2026 04:31:00 +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.4.1
Checksums-Sha1:
 01b99ae3d3d36d28fa180435fd78002ebd878c7b 778 dh-coq_0.14+ocaml1.dsc
 e8cdf6d6d634ebe6cad0b69b3ed76d361a380bf5 10700 dh-coq_0.14+ocaml1.tar.xz
 bf28c85c20d2a4f9739229c404268afdd3aba75f 9716 debian-coq-tools_0.14+ocaml1_all.deb
 f6301bf43016066b68c3a2ac05c48b1dcb342662 6808 dh-coq_0.14+ocaml1_all.deb
 3d28cce1d1ee9bb5abe4a8d46c19f90bf5b93d23 5038 dh-coq_0.14+ocaml1_amd64.buildinfo
Checksums-Sha256:
 3d339ec1f9b421ef1962faaa681dd390db847b4bb46fd62520577e370a2748e5 778 dh-coq_0.14+ocaml1.dsc
 d6ee81df8fb064021c6b17dd86290c3dfd95530bcedf1e1ef7e9fce5c04e64a8 10700 dh-coq_0.14+ocaml1.tar.xz
 262cf012b9f26b2f89d62e3869488efb6c6ac9197f6b00f87ef9649ea467127a 9716 debian-coq-tools_0.14+ocaml1_all.deb
 1a0f460251e92ba3ea89b08b64c6c1093531c4ac81edca4e239ec9e501baa10e 6808 dh-coq_0.14+ocaml1_all.deb
 149d476b2d1e1b23215ddcd92be52d1f591fa9e36f6abb67fee9d8ea8a9b3c36 5038 dh-coq_0.14+ocaml1_amd64.buildinfo
Files:
 6198f71322daa5fc28108f6467918a9d 778 ocaml optional dh-coq_0.14+ocaml1.dsc
 9efae3c4c9756117754a5586a634d3f0 10700 ocaml optional dh-coq_0.14+ocaml1.tar.xz
 1e47358972bcc8d1af7e63df8c0b5685 9716 ocaml optional debian-coq-tools_0.14+ocaml1_all.deb
 e19fc4ee927abf5b26ef632d7497dd01 6808 ocaml optional dh-coq_0.14+ocaml1_all.deb
 fe9b2917ccbd657802690c629ea11b13 5038 ocaml optional dh-coq_0.14+ocaml1_amd64.buildinfo