Format: 1.8
Date: Wed, 11 Nov 2026 14:40:47 +0100
Source: coq-dpdgraph
Binary: coq-dpdgraph-tools libcoq-dpdgraph
Architecture: source amd64
Version: 1.0+9.1-2+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+9.1-2+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 bd6f1b0f23c73e736026495f5c60e070f74c38ea 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 a73fb558dbd13f73e9bdef838db9a830f6f072f3 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 e13e74c6caf1410c56c59aa196a76234764621fb 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 149dcd79926d9c7382f0301cf3e0893e53bfeb8e 687208 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 cd2a54415fc58de7b553b82bbc60535997fe7f68 6654 coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 7372ea21eb8d83fda11ee7b56d6226496be71f46 36528 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 289d52ea09c41d0eb85aa984d72815074c42964ad9d050c4c5971f43b1670af0 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 c2720fb141f8f42012755683275eee057f6a4c98aa310cd4b7ed1e296b9be191 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 9a159c4caa23dd5ad7fd4b00cd20b61778e9ca226d11b52b7360db6c774b36bd 687208 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 7bb7e46b0edf189ae5b815e160b4c5c4d1e32b2ade9d682404d713f146a09ec9 6654 coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 eca91b1dbb0242bf2e6addcb7350acb610569b6d1dddb9064152ab6063190a28 36528 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Files:
 20f7d4160444ebce74264523b970c848 1328 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 ocaml optional coq-dpdgraph_1.0+9.1.orig.tar.gz
 8363302183d6ff8d048e2894e24159ab 3248 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 a416763e4d861593b43498610c26110e 687208 ocaml optional coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 38e9370ab47f456e896615b4e80b1748 6654 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 a72c8a10020225e86a9f010d8da8e2f3 36528 ocaml optional libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb