-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 23 Jul 2026 17:19:15 +0200 Source: coq-dpdgraph Binary: coq-dpdgraph-tools libcoq-dpdgraph Architecture: source amd64 Version: 1.0+9.1-2 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.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) unstable; urgency=medium . * Upload to unstable. Checksums-Sha1: 51fe1ffe6583601d46ee947e2652cd344227cd19 2220 coq-dpdgraph_1.0+9.1-2.dsc a73fb558dbd13f73e9bdef838db9a830f6f072f3 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz df8f9be1c622227700167af8ed360518d22d1b45 3172 coq-dpdgraph_1.0+9.1-2.debian.tar.xz ea35ff043580220c692e294c5e971ef366971925 647336 coq-dpdgraph-tools_1.0+9.1-2_amd64.deb d47c784093cc4c7928b80f7ee009af08458f0691 7277 coq-dpdgraph_1.0+9.1-2_amd64.buildinfo 2629f4368f59a903efc1ce28ccf9861a120748eb 35764 libcoq-dpdgraph_1.0+9.1-2_amd64.deb Checksums-Sha256: db788be527cbc8003a3b983504e7cb023f733a0a4b1ed4885b20d094f1ce789f 2220 coq-dpdgraph_1.0+9.1-2.dsc 3699e6eb34354da699e04c7acef990ddc467a1f50a852faeb01ee15e3989e099 64581 coq-dpdgraph_1.0+9.1.orig.tar.gz 97f9b76ae87a35032e69c7568da65f63bd6fb036131a9a8a5f8b049e27715836 3172 coq-dpdgraph_1.0+9.1-2.debian.tar.xz 03047068c5389d423f0f63839cd6b77759e24eb1d3ca136d175397747438197d 647336 coq-dpdgraph-tools_1.0+9.1-2_amd64.deb 26fdf42bc2fe78e3a93b8ff6b82f5a9876703276d36344bda347459838859ea7 7277 coq-dpdgraph_1.0+9.1-2_amd64.buildinfo 2f4aa5e3fdac91e46241c5215d56b2997bbcd51ca70e66e5f7a28b8be577e1d1 35764 libcoq-dpdgraph_1.0+9.1-2_amd64.deb Files: f394709dad073ea57f4a228381f3c7b9 2220 ocaml optional coq-dpdgraph_1.0+9.1-2.dsc 2cc394fe582b0e0cbf99b4c11e0fa6c1 64581 ocaml optional coq-dpdgraph_1.0+9.1.orig.tar.gz 49fa4d8469233f0564cba15bbd9ae239 3172 ocaml optional coq-dpdgraph_1.0+9.1-2.debian.tar.xz 99ee5f38ab7fd0bc595b2da69465a901 647336 ocaml optional coq-dpdgraph-tools_1.0+9.1-2_amd64.deb 0864c836d738f74abd502a6f8ab962c3 7277 ocaml optional coq-dpdgraph_1.0+9.1-2_amd64.buildinfo 55baa98759f8c674313bf470a884749c 35764 ocaml optional libcoq-dpdgraph_1.0+9.1-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpocxEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTqhEACa35ZIcDRCyyjwMlWLlVbr r9AHdYZQ2VsYY2wXjiJOz66Snr2Qs/nI7Q3YdzQcwMI44f3piq1+i086AzCjvKSS 7wrlv+7uk40aYSDgcBvZD+Z8uUAZXnRZMzLcyPE9Vd7WVCTW5eDf+wHA22G2ZiXN SJse7rtxpICSsJrMvaRK0u/23U+rFpl3/FxQov7Ae6eHEbUgrIMKGg5GnNIzqwVU U/G1MgrxS9lkI+dIU1sjrWMtLSgBrbTu76TINrASBmcFcKsjvlIEm8tzLjl6zMiN QvlAsOZ7DIxRSag1VczUi26vCDEUCIYkM/gQIh6zgOYhNCKDDaPjzjssK6+88Fmw rKzZKqXnre+jT/E2TB819gTlYix/IGdzeXzBcqQnVA2BSYbXkODWwtugzaqpMY03 17KFqsa+28BO1lxikY4fcJz1inO5imAoiRYuiDj843YkLStAZAW5LQynnZcuhHbi fZJpEthLfB/D1ABhjH1YEOi/UL7Ntw0teghSuM/in3Mi92Jg7YBA6Ani34v1xJdW gVNe+Zv+HzPdQqXIjkk2hpRhy0nRR3P/KjUSLJ61o5jOg4LuRjUmsDN5cikTqrVm V1k69gGH9a241qz4TTGi33e+SbmKGY+a2vBCLKHEftiarisjYzMWJ+ckUGB3Qrga Jr63bdkolkcSLB4VvpNaCg== =cX0R -----END PGP SIGNATURE-----
