Format: 1.8
Date: Mon, 07 Sep 2026 20:27:08 +0200
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.1
Checksums-Sha1:
 0fed9f904d79ab8e2ebb7ce3e430b07cbdc97a1c 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 a73fb558dbd13f73e9bdef838db9a830f6f072f3 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 48fb10b24ce7daa79415ec7062ae1a1b43219e9b 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 052db0444456bd361f683e93759e59c4314c9751 684880 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 75d089ba8c372fe778cbf92ce2609cb478baf081 6503 coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 8aa2982a5ea3a90333d899f1d4a70757ef781aa0 36432 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 8cc9987a6f311863439aaddd67d920a850b0894b440da0d9e438a28705ee37b6 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 43878cef2912e594c9585ac9d1d60488f18f0280476ee1604b0aa30efa456970 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 29c534e4f81df0aed8e66fe483907bc725d3166e0830a0162021fc321a0b35d5 684880 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 e450cee4bf7aa9569bce0fb443c08f593e9fc5223e11f2a00aa56a492e4d1c64 6503 coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 372c122a2396ba23f4fa750065abb0e83b4f30965788f3e4000f47ee8703efa3 36432 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Files:
 cc35ab411cb023a94c335210b09e5c27 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
 e3685a6988cc33c7e48a7aef2d245463 3248 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 716701cec0c95c5614cdfd5e0e89b00b 684880 ocaml optional coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 cf6eb01f949d31a2606c141cc368a75d 6503 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 8612a9cf90ee7c638654f8b246692dc4 36432 ocaml optional libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb