Index of /debian/pool/main/c/coq-dpdgraph/

../
coq-dpdgraph-tools_1.0+8.16-2+b1_amd64.deb         20-Apr-2023 12:16              954868
coq-dpdgraph-tools_1.0+8.16-2+b1_i386.deb          20-Apr-2023 12:16              954556
coq-dpdgraph-tools_1.0+8.20-1+b4_amd64.deb         06-Aug-2025 12:25             1116848
coq-dpdgraph_1.0+8.16-2.debian.tar.xz              20-Apr-2023 12:16                2744
coq-dpdgraph_1.0+8.16-2.dsc                        20-Apr-2023 12:16                2208
coq-dpdgraph_1.0+8.16.orig.tar.gz                  20-Apr-2023 12:16               66055
coq-dpdgraph_1.0+8.20-1.debian.tar.xz              06-Aug-2025 12:25                3152
coq-dpdgraph_1.0+8.20-1.dsc                        06-Aug-2025 12:25                2218
coq-dpdgraph_1.0+8.20.orig.tar.gz                  06-Aug-2025 12:25               66256
libcoq-dpdgraph_1.0+8.16-2+b1_amd64.deb            20-Apr-2023 12:16               33140
libcoq-dpdgraph_1.0+8.16-2+b1_i386.deb             20-Apr-2023 12:16               31440
libcoq-dpdgraph_1.0+8.20-1+b4_amd64.deb            06-Aug-2025 12:25               36852