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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]coq-elpi_2.3.0-1.deb..>2024-12-18 08:07 3.7K 
[TXT]coq-elpi_2.3.0-1.dsc 2024-12-18 08:07 2.0K 
[   ]coq-elpi_2.3.0.orig...>2024-12-18 08:07 717K 
[   ]coq-elpi_2.4.0-1.deb..>2025-02-17 08:37 3.7K 
[TXT]coq-elpi_2.4.0-1.dsc 2025-02-17 08:37 2.0K 
[   ]coq-elpi_2.4.0.orig...>2025-02-17 08:37 718K 
[   ]libcoq-elpi_2.3.0-1+..>2025-01-28 09:31 11M 
[   ]libcoq-elpi_2.3.0-1+..>2025-01-28 13:57 11M 
[   ]libcoq-elpi_2.4.0-1_..>2025-02-17 16:20 12M 
[   ]libcoq-elpi_2.4.0-1_..>2025-02-17 16:51 12M