Format: 1.8
Date: Thu, 02 Jul 2026 15:22:21 +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.5.0
Checksums-Sha1:
 a88ad626fd1ad5c3d0a2897a264e2a09b0bf224c 1338 coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 b98ff889163f9d137e12b081c116174ad1359244 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 0341ac19618afdec5d5ea3c49c87a305f27fc06a 3224 coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 60dc94c94f83b3c59e629795173dcbbfa8ed09a6 1287832 coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 c69c3cfb928710f629f59e502de7b7f32f4ad2c4 7009 coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 e14f2a01b5c8f5e32c4c7681850c3cc12669b199 5188 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 9a97f906e2e4127f28c7c3447748d400ea6c4592 36412 libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb
Checksums-Sha256:
 088ffb23177d53638c01e1b125c1caa245fb0e4596d3bb3ff316120867df5ed6 1338 coq-dpdgraph_1.0+8.20-1+ocaml1.dsc
 d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726 66256 coq-dpdgraph_1.0+8.20.orig.tar.gz
 e9611621cdb5ff74880f11820d71716941c6ed7fc856e3ec2855517e3edbde9a 3224 coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 41425d71c67179e8dd02b8c63506c9c11c91a02d41d53900f58422b1a3aeae40 1287832 coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 932fee66c7de673461362d24c2fc90dc46fb27236dff0122dfd317b63a440662 7009 coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 13ba925efdfacf64feee9f18a549670e079327a5da00f5213e1f9227d02b102d 5188 libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 30663a6129dc6f91e0d17738cc97462879ed150cbc995adac3eda979b8ea51c4 36412 libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb
Files:
 221ad3164b97d0f5aea29562789496a2 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
 758728199da8cdc59b09b4eaa0ee3f45 3224 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml1.debian.tar.xz
 acff22b47c02f5e390a4ee3edd24a3da 1287832 ocaml optional coq-dpdgraph-tools_1.0+8.20-1+ocaml1_amd64.deb
 fb2dad52252f0a7c1c3a2e6f0d8a2935 7009 ocaml optional coq-dpdgraph_1.0+8.20-1+ocaml1_amd64.buildinfo
 fccf01d5c717c34494ae63873aff5c6d 5188 debug optional libcoq-dpdgraph-dbgsym_1.0+8.20-1+ocaml1_amd64.deb
 631f796ce693b38000e84e83f077de1a 36412 ocaml optional libcoq-dpdgraph_1.0+8.20-1+ocaml1_amd64.deb