Index of /portage/sci-mathematics/lean/files

Icon  Name                            Last modified      Size  
[PARENTDIR] Parent Directory                                     -   
[TXT] lean-3.50.3-gcc-13.patch        2023-04-18 14:10  263   
[   ] lean-CMakeLists-fix_flags.patch 2021-11-26 13:40  1.3K
Apache Server at gentoo.mirror.at.stealer.net Port 80