Format: 1.8
Date: Fri, 23 Oct 2026 19:38:50 +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.2
Checksums-Sha1:
 879b1c67b54c5f2df04c0fb3d107042768bca07c 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 a73fb558dbd13f73e9bdef838db9a830f6f072f3 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 8735addba902723385a1868766399650fc0fe5e1 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 1bd5c4a3ba884b1ef594e604515a6b09267d4a11 685048 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 f28bbdbde73434320b0729c4f0838ef54bd36194 6597 coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 a2eb06761c05fbffb48f563502c847ced8dbf070 36364 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 5b8a3bd5bae1058471c4b1112fae8b798a4e3217bb45e2ed6125f69cc4b7db1f 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 fff17167a76e16ffae57ea08d42f78091175aa281bb64e3c45aa9e3af7fbe6f7 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 53671aee45734cd30457b74ce090ef7162cb5c964472fab494ca408a5f8246e6 685048 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 5def0d8985d99f8a3f65318f6ad786d87a872c9a271cbfd56257b7b920dcccf3 6597 coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 ad4ad88835b1fb7d3644153934dcd13e40df207f0e97cdb5efdf06b8ebd2a482 36364 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Files:
 65ec1603cb9e1fcc0d650fb03a0dd6d1 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
 36a6daad5f72055661e72162f70bdc42 3248 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 dfe16bd889cf71e4793c9141cf7ea621 685048 ocaml optional coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 16db95670404589f8e86cc0ff1c3c590 6597 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 b4b5c88d79dae27e9d2fbb77ef57e0b5 36364 ocaml optional libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb