Format: 1.8
Date: Fri, 15 May 2026 10:26:06 +0200
Source: coq-dpdgraph
Binary: coq-dpdgraph-tools libcoq-dpdgraph libcoq-dpdgraph-dbgsym
Architecture: source amd64
Version: 1.0+8.20-1+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 coq-dpdgraph-tools - Coq plugin to extract dependencies between Coq objects (tools)
 libcoq-dpdgraph - Coq plugin to extract dependencies between Coq objects
Changes:
 coq-dpdgraph (1.0+8.20-1+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 11d45c705af11260104e7b1c9535fcf01a04db2c 1338 coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 b98ff889163f9d137e12b081c116174ad1359244 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 582f35d2b21e76430440c1ef033099f69599fe23 3228 coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 9f55299bc4ea55bc151a54204794a9b04d00126b 1145788 coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 eb923bb53f7ca85a7255ed663143e36f42a589f1 6934 coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 999ffe872bc803f76b7ac5074710362386869566 5204 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 064a218a4472dc49be5aa6e0d0c8a519c33328a0 35924 libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb
Checksums-Sha256:
 ef6f5ea26a4f26dfdf72d8c5fdf24c35846b049978d39fa540be6cac0ad60c6c 1338 coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 1acad65a50a1a229c1a15565f698e7cd3c6c38d483d67c044430040190fc015e 3228 coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 4ea1576e9d0896031fbfacd6fb40872997959b2b4c61152e00750dbd4e570289 1145788 coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 11b9f1a89dacb0e7c467c712a266cb248859664ba5a52dd016983de1be5dee6f 6934 coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 f03d43ec5c37b0a20b448f248c919948957d2c5cee18c84351f45f304eff7386 5204 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 18da25e13e11953e1f3ce59abb923465da8dc19d813150e693a393783115ee50 35924 libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb
Files:
 b0cc1a65e41e215ffce1840fc7f70f17 1338 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 fa2ddb45b3eaf9ead35c44ebcddd1152 66256 ocaml optional coq-dpdgraph_1.0+8.20.orig.tar.gz
 dbd49f1ce529c56ca969314f2ebd2c5b 3228 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 63d4f874120af7b9aaf35b33fd44fb89 1145788 ocaml optional coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 029d0f5a629dae0d64fb350e350d8324 6934 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 549e4d29b9c63fa8ca8a7951c0ef6a78 5204 debug optional libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 43914437206d0776aec0ce1dd380a255 35924 ocaml optional libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb