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

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 coq-elpi_1.19.3-2.debian.tar.xz   2024-01-03 17:01  3.6K  
 coq-elpi_1.19.3-2.dsc             2024-01-03 17:01  1.8K  
 coq-elpi_1.19.3.orig.tar.gz       2023-12-22 19:16  558K  
 libcoq-elpi_1.19.3-2+b1_amd64.deb 2024-02-16 21:12  2.5M  
 libcoq-elpi_1.19.3-2+b1_arm64.deb 2024-02-16 20:42  2.5M  
 libcoq-elpi_1.19.3-2+b1_armhf.deb 2024-02-16 20:41  2.4M  
 libcoq-elpi_1.19.3-2+b1_i386.deb  2024-02-16 21:07  2.4M  
 libcoq-elpi_1.19.3-2_amd64.deb    2024-01-03 18:16  2.5M  
 libcoq-elpi_1.19.3-2_arm64.deb    2024-01-03 18:11  2.5M  
 libcoq-elpi_1.19.3-2_armhf.deb    2024-01-03 18:16  2.4M  
 libcoq-elpi_1.19.3-2_i386.deb     2024-01-03 18:11  2.4M