Index of /gentoo/sci-mathematics/lean

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]Manifest 2025-06-06 17:41 1.2K 
[DIR]files/ 2025-02-23 18:03 -  
[TXT]lean-4.14.0-r1.ebuild 2025-02-19 02:41 1.8K 
[TXT]metadata.xml 2025-01-02 17:11 954