Index of /gentoo-portage/sci-mathematics/lean/files/?C=M&O=D
/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 10:10
lean-CMakeLists-fix_flags.patch
1.3 KiB
2021-Nov-26 09:40