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

../
lean-4.14.0-src-cmakelists.patch                   27-Sep-2025 13:26    1084