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

../
coq-dpdgraph-tools_1.0+8.19-1+b1_amd64.deb         15-Jun-2024 10:54   1005K
coq-dpdgraph-tools_1.0+8.19-1+b1_arm64.deb         15-Jun-2024 10:54   1005K
coq-dpdgraph-tools_1.0+8.19-1+b1_armhf.deb         15-Jun-2024 11:04   1005K
coq-dpdgraph-tools_1.0+8.19-1+b1_i386.deb          15-Jun-2024 10:54   1005K
coq-dpdgraph-tools_1.0+8.19-2+b2_amd64.deb         21-Aug-2024 03:48      1M
coq-dpdgraph-tools_1.0+8.19-2+b2_arm64.deb         21-Aug-2024 03:54      1M
coq-dpdgraph_1.0+8.19-1.debian.tar.xz              26-Apr-2024 13:46    3064
coq-dpdgraph_1.0+8.19-1.dsc                        26-Apr-2024 13:46    2218
coq-dpdgraph_1.0+8.19-2.debian.tar.xz              03-Aug-2024 15:44    3136
coq-dpdgraph_1.0+8.19-2.dsc                        03-Aug-2024 15:44    1993
coq-dpdgraph_1.0+8.19.orig.tar.gz                  26-Apr-2024 13:46     65K
libcoq-dpdgraph_1.0+8.19-1+b1_amd64.deb            15-Jun-2024 10:54     34K
libcoq-dpdgraph_1.0+8.19-1+b1_arm64.deb            15-Jun-2024 10:54     35K
libcoq-dpdgraph_1.0+8.19-1+b1_armhf.deb            15-Jun-2024 11:04     33K
libcoq-dpdgraph_1.0+8.19-1+b1_i386.deb             15-Jun-2024 10:54     32K
libcoq-dpdgraph_1.0+8.19-2+b2_amd64.deb            21-Aug-2024 03:48     36K
libcoq-dpdgraph_1.0+8.19-2+b2_arm64.deb            21-Aug-2024 03:54     37K