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

Icon  Name                             Last modified      Size  
[PARENTDIR] Parent Directory                                      -   
[TXT] lean-4.14.0-src-cmakelists.patch 2025-01-02 22:11  1.1K
Apache Server at gentoo.mirror.at.stealer.net Port 80