Index of /gentoo-portage/sci-mathematics/lean/files/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
lean-CMakeLists-fix_flags.patch
1.3 KiB
2021-Nov-26 22:40
lean-3.50.3-gcc-13.patch
263 B
2023-Apr-18 23:10