Format: 1.8
Date: Fri, 15 May 2026 08:07:19 +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:
 0201d0715aea0b7c66dd67f7dfbbd30f05d74942 778 dh-coq_0.14+ocaml1.dsc
 93fb10e796ff3c089afdaaa884983d5bb7734bfe 10696 dh-coq_0.14+ocaml1.tar.xz
 f45a1b283d83a374c9ddc66d93ada38e89c0da16 9724 debian-coq-tools_0.14+ocaml1_all.deb
 6d8b20abf1954ddb453ebf55fa7374606be78883 6820 dh-coq_0.14+ocaml1_all.deb
 2c890e39f518e8459cf6813b6fb465a8f8eccd48 4991 dh-coq_0.14+ocaml1_amd64.buildinfo
Checksums-Sha256:
 e832ce9310fee6923b75d0ab3ab4c61600320aec67aeba5ac6590bbbede72d3d 778 dh-coq_0.14+ocaml1.dsc
 be6af3d02a26557a2f29aa48fffeb928a9103369cdfcaa40ad634e3e76c3f593 10696 dh-coq_0.14+ocaml1.tar.xz
 458d32e5a9c3861be926be7906eb9378ff65220cad51740901495a4084b33673 9724 debian-coq-tools_0.14+ocaml1_all.deb
 6e381cfd54f402bea67edfd283d12e98d0a6d97ea24ac9abcf6b51bc91405e03 6820 dh-coq_0.14+ocaml1_all.deb
 69263f8810b5e163d7cf8f42e4852b106b4bd3cff4e61885ae74cb8e1b30956b 4991 dh-coq_0.14+ocaml1_amd64.buildinfo
Files:
 bdf3d5db6988db48886442cdd99f6b9b 778 ocaml optional dh-coq_0.14+ocaml1.dsc
 045fdf00758862c3fa7f824bd467909f 10696 ocaml optional dh-coq_0.14+ocaml1.tar.xz
 9ddf99f3f40cbdf6429dc3f65b69d448 9724 ocaml optional debian-coq-tools_0.14+ocaml1_all.deb
 15c4a0d246307c20bad703819a7cc843 6820 ocaml optional dh-coq_0.14+ocaml1_all.deb
 34b5e9e530698d1eee5f5dcc12b2fd54 4991 ocaml optional dh-coq_0.14+ocaml1_amd64.buildinfo