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

 Name                             Last modified      Size  Description
 Parent Directory                                      -   
 libcoq-elpi_2.5.0-1_arm64.deb    2025-03-18 22:09   12M  
 libcoq-elpi_2.5.0-1_amd64.deb    2025-03-18 22:04   12M  
 libcoq-elpi_2.3.0-1+b2_arm64.deb 2025-01-29 06:57   11M  
 libcoq-elpi_2.3.0-1+b2_amd64.deb 2025-01-29 02:31   11M  
 coq-elpi_2.5.0.orig.tar.gz       2025-03-18 21:33  728K  
 coq-elpi_2.5.0-1.dsc             2025-03-18 21:33  2.0K  
 coq-elpi_2.5.0-1.debian.tar.xz   2025-03-18 21:33  3.2K  
 coq-elpi_2.3.0.orig.tar.gz       2024-12-19 01:07  717K  
 coq-elpi_2.3.0-1.dsc             2024-12-19 01:07  2.0K  
 coq-elpi_2.3.0-1.debian.tar.xz   2024-12-19 01:07  3.7K