Format: 1.8
Date: Sat, 25 Apr 2026 04:02:00 +0200
Source: coq-dpdgraph
Binary: coq-dpdgraph-tools libcoq-dpdgraph libcoq-dpdgraph-dbgsym
Architecture: source amd64
Version: 1.0+8.20-1+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:
 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) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 11f030275f23e7237f5c72e120bd40a98ff703b5 1338 coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 b98ff889163f9d137e12b081c116174ad1359244 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 2da104436beb66452796ffe470f3af608a031f1c 3232 coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 056ab2224f3565123221e7ab3ee7e21b430adf28 1145264 coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 db3c36ef8522a066fe34239981341e263df6310d 6994 coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 07df22b287928a04266dac533ba582b85fa5c269 5180 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 8d16150c713f2b25b5580c7790327dfe5a1f7fce 36032 libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb
Checksums-Sha256:
 838952b766b22bfdbbe99ae0700680184ad9e96567a6eabd816f596999296303 1338 coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 1848b4875540838d2333dbaa20c1e94719b6acc5bc24fedfcfb88f03bb901cba 3232 coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 a008f1ba0ed852dedbc1ef23bc722c7efb831778809339c5cbcb3779907e5d62 1145264 coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 9a0976f3ad6d948ff5d696f8eecb71af65d1c5fa0fde84e1edf8a1d0da4ea96a 6994 coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 727e192379b6ecb526584f3e9c7b93cc4b36fc9b6ab406f5d0d39b11630b4dc9 5180 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 f7d5cdbf76583a09acd3a9678cb2c7f68c14711a5e787f6ec7a9551c1dae72ba 36032 libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb
Files:
 dff1fb6ae97f28251c3af2d7379c23e7 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
 b874d2f529ab3079f590b917553d1532 3232 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 fcb183a91d2178b0c54498b6ca3829d6 1145264 ocaml optional coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 eebcd83b0b23ea64c7e4c75bcf553732 6994 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 afcac105d54d3dc0d6bea5f4fc520a8d 5180 debug optional libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 635c5071b05ca8e6382dba62b5741645 36032 ocaml optional libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb