Format: 1.8
Date: Sat, 25 Apr 2026 08:46:03 +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:
 d866fd21a30e07c2bd66035a4de4cae8b6f39290 1338 coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 b98ff889163f9d137e12b081c116174ad1359244 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 fb2d3a6471f3e59cdc8f50bb87d63b586d789eeb 3224 coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 ba57c03dac9ba04244d23e5b0841e944e2321d0f 1145684 coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 45df3c7ccdaeaf1176b52480493e9e5313405bed 6933 coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 78f6cbbab83e8a31ac3ea96b7f17b0c840b3dedc 5156 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 34dff16d5ccca66200cd0ffa045ab3ac123eb944 35832 libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb
Checksums-Sha256:
 b51e4292ea48707a0f856702912898a867e7811af24041d6d5922786cca69cae 1338 coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 4b6d660c4c5c2ce6976573337b457817352b2740d58bbaa13517b80003f79b63 3224 coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 e41703659a1f034685a7de6eaae9894e3242a53689a88436ef07c6d8ffee24ca 1145684 coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 c8b8c3e5096832761e24488906a079f6b28570aa0e81f433fdfe2c583589d610 6933 coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 41aa1ae712b4b6cb8494e921ef55bbcf5cc7b55c85ebde23bb04e336662b8a86 5156 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 da5eee45ce090032023f96deae52ac45609de39518509b998dca379ddf07defd 35832 libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb
Files:
 48bac4864b8fb607706c7edc1ad90ad2 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
 35d8aefcb9ae2f29da024dc69a05e7f8 3224 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 552a99666e8099e005bc8b9d906f8326 1145684 ocaml optional coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 9b9313ea8a9fc8d8b40ba88871bd81e0 6933 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 f3c86ad3243051612db54ee3cfe1ccc6 5156 debug optional libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 7434cd064d0ec63b4b26d55847dc86c1 35832 ocaml optional libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb