-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 12:35:48 +0200 Source: coq-dpdgraph Binary: coq-dpdgraph-tools libcoq-dpdgraph Architecture: source amd64 Version: 1.0+9.1-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> 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-1) experimental; urgency=medium . * New upstream release. * Bump standards-version to 4.7.4. * Rewrite d/watch. Checksums-Sha1: c478c6f6a7c57286bd3e4405018518ea7ce702c7 2220 coq-dpdgraph_1.0+9.1-1.dsc a73fb558dbd13f73e9bdef838db9a830f6f072f3 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz 277f71ee4a6cd877421c544260d806c85a3e0fcd 3148 coq-dpdgraph_1.0+9.1-1.debian.tar.xz 9399df4e82e268334a6753d9faef9462e45f811b 648320 coq-dpdgraph-tools_1.0+9.1-1_amd64.deb 35edf08f959f4f3280a0248a7f3777d1b6286e36 7762 coq-dpdgraph_1.0+9.1-1_amd64.buildinfo aa1960a2869ed886ddb5d4643a9b30438fd6bdd8 35680 libcoq-dpdgraph_1.0+9.1-1_amd64.deb Checksums-Sha256: 5612ecee234e8cd3f61b5cbb1dae6121f39bc7720ee2bfbd54434bbb8276a8fd 2220 coq-dpdgraph_1.0+9.1-1.dsc 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz f7de659cf0306c3f5b1dbdc53d5eba7756aa55db72ac19bec1ca71b175ee9644 3148 coq-dpdgraph_1.0+9.1-1.debian.tar.xz 184e5e70c1cb8a036b8749bef4336665dec017dadc4b42f2c6761a4ffe88fed1 648320 coq-dpdgraph-tools_1.0+9.1-1_amd64.deb 95caa9a5414a7883c43fc52db362d70666d15f67517035d9e8f5635b2aa3020e 7762 coq-dpdgraph_1.0+9.1-1_amd64.buildinfo 6aad15569fe5246f1e8039d136516dcf0797e13dc59d4478291a21da2d0abaa9 35680 libcoq-dpdgraph_1.0+9.1-1_amd64.deb Files: c12c097de9d10293406d13a336f39355 2220 ocaml optional coq-dpdgraph_1.0+9.1-1.dsc 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 ocaml optional coq-dpdgraph_1.0+9.1.orig.tar.gz 5e6b476a61be24a17e8f798e52e82cfd 3148 ocaml optional coq-dpdgraph_1.0+9.1-1.debian.tar.xz d346918122610b53a94b7b27b7f8e88a 648320 ocaml optional coq-dpdgraph-tools_1.0+9.1-1_amd64.deb 82e1254afcc4cdc3d581b0ffec942343 7762 ocaml optional coq-dpdgraph_1.0+9.1-1_amd64.buildinfo da2aafa2a4b18a8fb4c6b944ca14f63c 35680 ocaml optional libcoq-dpdgraph_1.0+9.1-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpQy/sZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUVLND/9I7pO8CoFfzze386PUBUz3 W1C0zlmY3DmKQUMBbhCxA9fJ6PL+BrxChMTOtUs2FeZbBXXBvkKqGE+OwyziaDo1 2i4Q79fVXMYsOOSPX6CdQ94OrHcJlax+j8y9xHMU4JLqMMIaWqbeBhFqZuS80bKq Kskxq1zVDuLPlWvRplNy72x0reWd4kOMkV/qH3DxRqxw27h3SNWjbXAxeJ2ZMek2 YYPP3wt4pbBp1o1nTvb96Sc67kpKrNEhAH4rRd8H7dUQjatWuikE6iyvDI+TBOjz 9zTECHd5NJC8cWl46LG68z77Em7k3Npn/jEMUBT8AeG9cY33iG26G2+tpgLMbPZX hVVDSgtRwexkGihZxjK/WbqCHVMcwenF9E1v11pc2T0IPcehcefXPULR+VfQl4n1 Lk9bUlhsZjH7natnyZ6QzXNrbyhkhYzIl3mZ5toWd+p8KyPcnr50MzidwnttRn5Z EPscXOOuzrQV2FtKAF4yNn81lxBDpWGNwPKgNfcaFoHIH6xgebfqsjvY0pVPGu/X mvWujpAv+PaBY6mqac/xKwqbmN+avsBl6liqIWqM2/6uZvN4lybEXY07Gref4RxS yxQwvMW1eJf04NOxo4WKM/BfK4AKq/fBYv2EWl/cO9icIB0EOsTiPK9IRZQDhYTY lwQubjUpZwEGLX148QcNyw== =5gc1 -----END PGP SIGNATURE-----
pgpcwLgQriK7K.pgp
Description: PGP signature
