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

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 libcoq-mtac2_1.4+8.19-1+b1_armhf.deb 2024-06-15 20:41  780K  
 libcoq-mtac2_1.4+8.19-1+b1_arm64.deb 2024-06-15 20:41  791K  
 libcoq-mtac2_1.4+8.19-1+b1_i386.deb  2024-06-15 20:25  772K  
 libcoq-mtac2_1.4+8.19-1+b1_amd64.deb 2024-06-15 20:25  783K  
 coq-mtac2_1.4+8.19.orig.tar.gz       2024-04-26 23:06  246K  
 coq-mtac2_1.4+8.19-1.dsc             2024-04-26 23:06  2.1K  
 coq-mtac2_1.4+8.19-1.debian.tar.xz   2024-04-26 23:06  2.7K  
 libcoq-mtac2_1.4+8.18-1_amd64.deb    2023-12-23 20:52  767K  
 libcoq-mtac2_1.4+8.18-1_armhf.deb    2023-12-23 20:52  765K  
 libcoq-mtac2_1.4+8.18-1_i386.deb     2023-12-23 20:52  755K  
 libcoq-mtac2_1.4+8.18-1_arm64.deb    2023-12-23 20:52  777K  
 coq-mtac2_1.4+8.18.orig.tar.gz       2023-12-22 20:07  246K  
 coq-mtac2_1.4+8.18-1.dsc             2023-12-22 20:07  2.1K  
 coq-mtac2_1.4+8.18-1.debian.tar.xz   2023-12-22 20:07  2.7K