Format: 1.8
Date: Fri, 24 Apr 2026 23:07:28 +0200
Source: dh-coq
Binary: debian-coq-tools dh-coq
Architecture: source all
Version: 0.14+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.14+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 8eee2fb3f90750daa32acf174d45a0d83de46feb 778 dh-coq_0.14+ocaml1.dsc
 be9736ecb952be9ca8f2082004a8ee1789288f99 10708 dh-coq_0.14+ocaml1.tar.xz
 d70edb6fff855723f373baad54b593a95d1ca113 9944 debian-coq-tools_0.14+ocaml1_all.deb
 7e900178b8a31bce3e374d9c7dcfaaa4d9cee290 7076 dh-coq_0.14+ocaml1_all.deb
 71c6733eee82fcdcf88c52aeab6da07e411d8395 5138 dh-coq_0.14+ocaml1_amd64.buildinfo
Checksums-Sha256:
 265ad7a6b223f75ad2cf4d4677d286a234ee7f5b9a24e5f3adea44ec20dccecc 778 dh-coq_0.14+ocaml1.dsc
 ff669b8241dce670cad2fa19a6c2122976ae9109bc3562777ab0af754ae58728 10708 dh-coq_0.14+ocaml1.tar.xz
 193c501eb7dd41482bb26cd7873376ea36e9c0e22321f33a8d3ccbb000a037da 9944 debian-coq-tools_0.14+ocaml1_all.deb
 defacb2b63c4e35de02dfb6a3d6497714f64117f66e52ad0bc081fa15f84aa9f 7076 dh-coq_0.14+ocaml1_all.deb
 03934c440322dad394a5067e184ecba101cf8120019ae999bdf1e0a4c511fc73 5138 dh-coq_0.14+ocaml1_amd64.buildinfo
Files:
 209c097597018ad9f37410bf7c2ed59d 778 ocaml optional dh-coq_0.14+ocaml1.dsc
 d581dd6d770632da3144475d047f7f41 10708 ocaml optional dh-coq_0.14+ocaml1.tar.xz
 1c130662d4ebe3791ed8ea129cf16064 9944 ocaml optional debian-coq-tools_0.14+ocaml1_all.deb
 0fc7e9e7e8fa3681d639a09f3bb6e969 7076 ocaml optional dh-coq_0.14+ocaml1_all.deb
 a6cc135b626bf3406e246e40da3eec7b 5138 ocaml optional dh-coq_0.14+ocaml1_amd64.buildinfo