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

../
lean-3.50.3-gcc-13.patch                           02-Feb-2025 13:26     263
lean-4.14.0-src-cmakelists.patch                   02-Feb-2025 13:26    1084
lean-CMakeLists-fix_flags.patch                    02-Feb-2025 13:26    1285