Steadfast Chicago Mirror
Index of /gentoo/rsync/sci-mathematics/lean/files/
![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | lean-CMakeLists-fix_flags.patch | 2021-11-26 07:40 | 1.3K | |
![]() | lean-3.50.3-gcc-13.patch | 2023-04-18 09:10 | 263 | |
![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | lean-CMakeLists-fix_flags.patch | 2021-11-26 07:40 | 1.3K | |
![]() | lean-3.50.3-gcc-13.patch | 2023-04-18 09:10 | 263 | |