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-tools_1.0+8.19-1+b1_amd64.deb 2024-06-15 19:54  1.0M  
 coq-dpdgraph-tools_1.0+8.19-1+b1_arm64.deb 2024-06-15 19:54  1.0M  
 coq-dpdgraph-tools_1.0+8.19-1+b1_armhf.deb 2024-06-15 20:04  1.0M  
 coq-dpdgraph-tools_1.0+8.19-1+b1_i386.deb  2024-06-15 19:54  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  
 coq-dpdgraph_1.0+8.19-1.debian.tar.xz      2024-04-26 22:46  3.0K  
 coq-dpdgraph_1.0+8.19-1.dsc                2024-04-26 22:46  2.2K  
 coq-dpdgraph_1.0+8.19.orig.tar.gz          2024-04-26 22:46   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  
 libcoq-dpdgraph_1.0+8.19-1+b1_amd64.deb    2024-06-15 19:54   34K  
 libcoq-dpdgraph_1.0+8.19-1+b1_arm64.deb    2024-06-15 19:54   35K  
 libcoq-dpdgraph_1.0+8.19-1+b1_armhf.deb    2024-06-15 20:04   33K  
 libcoq-dpdgraph_1.0+8.19-1+b1_i386.deb     2024-06-15 19:54   32K