Format: 1.8
Date: Thu, 13 Mar 2025 08:16:26 +0100
Source: dh-coq
Binary: debian-coq-tools dh-coq
Architecture: source all
Version: 0.14+ocaml20250313
Distribution: unstable
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+ocaml20250313) bookworm-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.3.0
Checksums-Sha1:
 fbc0508ff8e298bc06c0b4dbe800dfdefbe8d256 806 dh-coq_0.14+ocaml20250313.dsc
 667c79f8f597fbc33f2cd87e42bd58042a90616f 10692 dh-coq_0.14+ocaml20250313.tar.xz
 ad8c7855954c0790134fbb82e37c6b37c3ff9e49 9960 debian-coq-tools_0.14+ocaml20250313_all.deb
 7fce77aff4b5e5438130964c3f48023e150a0fd7 8064 dh-coq_0.14+ocaml20250313_all.deb
 27488285c6f23ae29014ca10ff75eae8deb776ac 5626 dh-coq_0.14+ocaml20250313_amd64.buildinfo
Checksums-Sha256:
 791390f61e8f789c93438fbc6b81988658fa00f699c7d30adbed8a216528400e 806 dh-coq_0.14+ocaml20250313.dsc
 6bc7f7e63fd6af2d87c363204d2dea5491692737822229c93015c48e80a2c982 10692 dh-coq_0.14+ocaml20250313.tar.xz
 a7ba18265ee5010bd10006748c32e7f2e062efae2f011ed855d32a3b0153de52 9960 debian-coq-tools_0.14+ocaml20250313_all.deb
 47715172f378028bbb0ff455e68cc4f0bf00809fb6b72c2779b6a7b52e7a0431 8064 dh-coq_0.14+ocaml20250313_all.deb
 5e8ca99b7ddb4b9b7fd15940b7e1de139bee7fcabec3bae30812614a7ddfd762 5626 dh-coq_0.14+ocaml20250313_amd64.buildinfo
Files:
 4dc1622fc50c71b15a485b36b6fd0668 806 ocaml optional dh-coq_0.14+ocaml20250313.dsc
 13fc6addfefd9265b6f8616c63b0d97d 10692 ocaml optional dh-coq_0.14+ocaml20250313.tar.xz
 96e0268f57c0eedab5c0902e66ef1d07 9960 ocaml optional debian-coq-tools_0.14+ocaml20250313_all.deb
 ecdae68028ad183cc4874b3fa96541f6 8064 ocaml optional dh-coq_0.14+ocaml20250313_all.deb
 b8db3cd6a2a3d96bdc097e8ca5dd056a 5626 ocaml optional dh-coq_0.14+ocaml20250313_amd64.buildinfo