Format: 1.8
Date: Fri, 06 Nov 2026 23:44:22 +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:
 330704fe1b577da1aaa031c0f129ba12b50fa822 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 a73fb558dbd13f73e9bdef838db9a830f6f072f3 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 c09345c707f6baa7710ff7314b509ab96e66abc3 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 8d5205f9b08370a5186492f9ae78869e2d29cde9 686876 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 59a9d8a20677d4725bb91780fd8c6d62e97cd35d 6651 coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 bab97376df10ba0a4307e1aa915da48657d7d184 36496 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 e0e2c7e4b280cdba87d686084cbc44318e0cd7c3f303280420b875e0828b2ac8 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 3958819b53fbb7ec2b1d5f1c2b0b7362b58a77dffd2cf8fd40aac70fce2a6b47 3248 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 df2be09cbebb2df9506538bd1d39976df767194876d3ae55ca7e5ea3fae5a3b4 686876 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 43187827107ed1e2716bf2f718c3a06e058633f7d05fb9fd7d3143a1e7a6c885 6651 coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 a66ea2d2ddcc0f8358758cda52fb6552e9a3f8c81cdbbf43b8133fdc13634d58 36496 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Files:
 2d21b442aefc756b3ad15a6b31e4e86f 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
 3793254634b31fd8c0d1177e164979c1 3248 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 9561accdeb96b630decc1a98001145b1 686876 ocaml optional coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 a7ec65ceb8cd374cf03e3fba309abd15 6651 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 9e4dff04ad3f62903c985e99e3678ba1 36496 ocaml optional libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb