Directory: /gentoo-portage-prefix/sci-mathematics/lean/files/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
lean-3.50.3-gcc-13.patch
263 B
2024-Jun-18 13:26
lean-CMakeLists-fix_flags.patch
1.3 KiB
2024-Jun-18 13:26