Steadfast Chicago Mirror
Index of /gentoo/rsync/sci-mathematics/lean/files/
![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | lean-4.14.0-src-cmakelists.patch | 2025-01-02 16:11 | 1.1K | |
![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | lean-4.14.0-src-cmakelists.patch | 2025-01-02 16:11 | 1.1K | |