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

NameLast ModifiedSizeType
../ -  Directory
lean-3.50.3-gcc-13.patch2023-Apr-18 16:10:230.2Ktext/x-diff; charset=utf-8
lean-CMakeLists-fix_flags.patch2021-Nov-26 14:40:031.2Ktext/x-diff; charset=utf-8
lighttpd/1.4.59