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

 Name                                 Last modified      Size  Description
 Parent Directory                                          -   
 coq-mtac2_1.4+8.20-1.dsc             2024-11-23 17:27  2.1K  
 coq-mtac2_1.4+8.20-1.debian.tar.xz   2024-11-23 17:27  2.9K  
 coq-mtac2_1.4+8.20.orig.tar.gz       2024-11-23 17:27  246K  
 libcoq-mtac2_1.4+8.20-1+b3_amd64.deb 2025-02-18 02:46  775K  
 libcoq-mtac2_1.4+8.20-1+b1_amd64.deb 2025-01-30 09:52  775K  
 libcoq-mtac2_1.4+8.20-1+b1_arm64.deb 2025-01-30 09:57  783K  
 libcoq-mtac2_1.4+8.20-1+b3_arm64.deb 2025-02-18 03:27  783K