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

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 coq-dpdgraph-tools_1.0+8.18-1_amd64.deb 2023-12-22 19:57  1.0M  
 coq-dpdgraph-tools_1.0+8.18-1_arm64.deb 2023-12-22 19:51  1.0M  
 coq-dpdgraph-tools_1.0+8.18-1_armhf.deb 2023-12-22 19:57  1.0M  
 coq-dpdgraph-tools_1.0+8.18-1_i386.deb  2023-12-22 19:57  1.0M  
 coq-dpdgraph_1.0+8.18-1.debian.tar.xz   2023-12-22 19:16  3.0K  
 coq-dpdgraph_1.0+8.18-1.dsc             2023-12-22 19:16  2.2K  
 coq-dpdgraph_1.0+8.18.orig.tar.gz       2023-12-22 19:16   65K  
 libcoq-dpdgraph_1.0+8.18-1_amd64.deb    2023-12-22 19:57   33K  
 libcoq-dpdgraph_1.0+8.18-1_arm64.deb    2023-12-22 19:51   34K  
 libcoq-dpdgraph_1.0+8.18-1_armhf.deb    2023-12-22 19:57   32K  
 libcoq-dpdgraph_1.0+8.18-1_i386.deb     2023-12-22 19:57   31K