Format: 1.8
Date: Tue, 11 Aug 2026 08:41:57 +0200
Source: dh-coq
Binary: debian-coq-tools dh-coq
Architecture: source all
Version: 0.16+ocaml1
Distribution: trixie-backports-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.16+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 934cc4c5c7c5ae89910b1e06d52f08f884140b2c 778 dh-coq_0.16+ocaml1.dsc
 c873af69477070a03afd575bf5ee3af6deb6ec64 10956 dh-coq_0.16+ocaml1.tar.xz
 99e6ca70ce8d2d1a7ef7b29616c769431a3a137f 9992 debian-coq-tools_0.16+ocaml1_all.deb
 5499abd6275d80fc74958b2975cd76ef1bc1ec15 6920 dh-coq_0.16+ocaml1_all.deb
 47793be583a263f7f10cc872349ce46a3d6a8401 5180 dh-coq_0.16+ocaml1_amd64.buildinfo
Checksums-Sha256:
 f635b1eac69195c3e2efc9b739497c9f46e088d5f33f9651c4201b5bd61ed1c2 778 dh-coq_0.16+ocaml1.dsc
 dbafd0a7b18b9fe470652072d70ebea3519b8726333e0254f7af542b0c32ee08 10956 dh-coq_0.16+ocaml1.tar.xz
 f5e10d0cc21a0fd4a2739e57f7cb0b09e05c440e2935ed8a18e9fafb5b0b24a2 9992 debian-coq-tools_0.16+ocaml1_all.deb
 636859a882163a8912991b915408fab86dd6745e65c5f91e4b35f68e993c9874 6920 dh-coq_0.16+ocaml1_all.deb
 0a27a3d695ee1477f2dff5831ae71fba158bae7283ee2fd336f8e44b6bab06ab 5180 dh-coq_0.16+ocaml1_amd64.buildinfo
Files:
 797ddd9cf8cbb0606ba3d7b9c0344754 778 ocaml optional dh-coq_0.16+ocaml1.dsc
 ae41ab1f41ae81a8def80a8418304c92 10956 ocaml optional dh-coq_0.16+ocaml1.tar.xz
 af93b6c8a482ab33c398a4ce93d2e304 9992 ocaml optional debian-coq-tools_0.16+ocaml1_all.deb
 21d2cc993a7ecc6ec4128fd4c3af29e8 6920 ocaml optional dh-coq_0.16+ocaml1_all.deb
 7a1caea523ddb50c487e4956f5d009a5 5180 ocaml optional dh-coq_0.16+ocaml1_amd64.buildinfo