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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]libcoq-elpi_1.19.3-2..>2024-02-29 17:08 2.4M 
[TXT]coq-elpi_1.19.3-2.dsc 2024-01-03 15:01 1.8K 
[   ]coq-elpi_1.19.3-2.de..>2024-01-03 15:01 3.6K 
[   ]coq-elpi_1.19.3.orig..>2023-12-22 17:16 558K 
[TXT]coq-elpi_1.16.0-2.dsc 2023-01-25 13:56 2.0K 
[   ]coq-elpi_1.16.0-2.de..>2023-01-25 13:56 3.3K 
[   ]coq-elpi_1.16.0.orig..>2022-11-20 22:35 416K