Directory: /gentoo-portage-prefix/sci-mathematics/lean/files/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
lean-3.50.3-gcc-13.patch
263 B
2023-Jul-02 22:56
lean-CMakeLists-fix_flags.patch
1.3 KiB
2023-Jul-02 22:56