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

Icon  Name                                         Last modified      Size  Description
[DIR] Parent Directory - [TXT] lean-3.50.3-gcc-13.patch 18-Apr-2023 22:10 263 [TXT] lean-CMakeLists-fix_flags.patch 26-Nov-2021 21:40 1.3K
Microsoft-IIS/10.0 Server at ftp.ncnu.edu.tw Port 80