Index of /gentoo-portage/sci-mathematics/lean/files/
/gentoo-portage/sci-mathematics/lean/files/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
lean-3.50.3-gcc-13.patch
263 B
2023-Apr-18 09:10
lean-4.14.0-src-cmakelists.patch
1.1 KiB
2025-Jan-02 17:11
lean-CMakeLists-fix_flags.patch
1.3 KiB
2021-Nov-26 08:40