| Name | Last Modified | Size | Type |
|---|---|---|---|
| ../ | - | Directory | |
| lean-3.50.3-gcc-13.patch | 2023-Apr-18 16:10:23 | 0.2K | text/x-diff;charset=utf-8 |
| lean-4.14.0-src-cmakelists.patch | 2025-Jan-02 23:11:28 | 1.0K | text/x-diff;charset=utf-8 |
| lean-CMakeLists-fix_flags.patch | 2021-Nov-26 14:40:03 | 1.2K | text/x-diff;charset=utf-8 |