Format: 1.8
Date: Tue, 11 Aug 2026 11:28:44 +0200
Source: coq-dpdgraph
Binary: coq-dpdgraph-tools libcoq-dpdgraph
Architecture: source amd64
Version: 1.0+9.1-2+ocaml1
Distribution: trixie-backports-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) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 9c60ef94899e6777f8ba15889b692f2a6e605031 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 a73fb558dbd13f73e9bdef838db9a830f6f072f3 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 b07aededb7c370c592cce7955240191badbf6b56 3252 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 4dee2dcaf0e6d1685827e0ba0bd21afc734fb8f9 645012 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 2780cb60b267611bff6c7b5371e03eae2b016cac 6776 coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 b67a09e033805483bfb38a123f08604ad4205c58 35804 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Checksums-Sha256:
 5383340d12f254cbc17e2060af5abd42885f264007efe77e29b2a3ceb8afdf1b 1328 coq-dpdgraph_1.0+9.1-2+ocaml1.dsc
 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz
 e90b57b2d60db522cb58bdb8879f93ced116cb98e705965d9dd657ce369b122b 3252 coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 beeb49937858c624bf838f77c2537c187bcd3919fbfeb3ad3da1735bde3d74bb 645012 coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 31311054bda690d9660fdf99d30ae510112d19ec9e15b1d71110400dd5f638fc 6776 coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 6a6c394be75363acf2bfecd8567eae6deafe3bf99de5b7122b3ec98d48e02e0e 35804 libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb
Files:
 ccf7455d082b22697eb9a87845017b3c 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
 98818e3a35ab14700e93548d48d7a196 3252 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1.debian.tar.xz
 365e6ecee2a7ca447c754f8eb99f3e45 645012 ocaml optional coq-dpdgraph-tools_1.0+9.1-2+ocaml1_amd64.deb
 91ed22afe9bbf4fa48d8aa818f281e64 6776 ocaml optional coq-dpdgraph_1.0+9.1-2+ocaml1_amd64.buildinfo
 4c2650b099808925a30476ab14227178 35804 ocaml optional libcoq-dpdgraph_1.0+9.1-2+ocaml1_amd64.deb