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

Icon  Name                             Last modified      Size  Description
[PARENTDIR] Parent Directory                                      -   
[   ] coq-elpi_2.5.0-1.2.debian.tar.xz 2025-10-28 14:55  3.8K  
[TXT] coq-elpi_2.5.0-1.2.dsc           2025-10-28 14:55  2.0K  
[   ] coq-elpi_2.5.0.orig.tar.gz       2025-03-18 14:33  728K  
[   ] libcoq-elpi_2.5.0-1.2_amd64.deb  2025-10-28 15:16   12M  
[   ] libcoq-elpi_2.5.0-1.2_arm64.deb  2025-10-28 15:16   12M