Hier is 24 weergawes van Lean gelys, van 01 Mei 2025 tot die huidige 4.35.0. Elkeen skakel na die uitgewer se eie installeerlêers.
24 weergawes oor 1 jaar · sowat 17 per jaar
| Weergawe | Datum | Grootte | Lêers |
|---|---|---|---|
| 4.35.0Nuutste | 12 Oktober 2026 | — | 64-bis ZIP VrystellingsnotasThis is the v4.35.0 release of Lean. View the release notes for more information. |
| 4.34.1 | 24 September 2026 | — | 64-bis ZIP VrystellingsnotasThis is the v4.34.1 release of Lean. View the release notes for more information. |
| 4.34.0 | 14 September 2026 | — | 64-bis ZIP VrystellingsnotasThis is the v4.34.0 release of Lean. View the release notes for more information. |
| 4.33.1 | 21 Augustus 2026 | — | 64-bis ZIP VrystellingsnotasThis is the v4.33.1 release of Lean. View the release notes for more information. |
| 4.33.0 | 10 Augustus 2026 | — | 64-bis ZIP VrystellingsnotasThis is the v4.33.0 release of Lean. View the release notes for more information. |
| 4.32.2 | 28 Julie 2026 | — | 64-bis ZIP VrystellingsnotasThis is the v4.32.2 release of Lean. View the release notes for more information. |
| 4.32.1 | 22 Julie 2026 | — | 64-bis ZIP VrystellingsnotasThis is the v4.32.1 release of Lean. View the release notes for more information. |
| 4.32.0 | 13 Julie 2026 | — | 64-bis ZIP VrystellingsnotasThis is the v4.32.0 release of Lean. View the release notes for more information. |
| 4.31.0 | 15 Junie 2026 | — | 64-bis ZIP VrystellingsnotasThis is the v4.31.0 release of Lean. View the release notes for more information. |
| 4.30.0 | 26 Mei 2026 | — | 64-bis ZIP VrystellingsnotasThis is the v4.30.0 release of Lean. View the release notes for more information. |
| 4.29.1 | 14 April 2026 | — | 64-bis ZIP |
| 4.29.0 | 27 Maart 2026 | — | 64-bis ZIP |
| 4.28.0 | 16 Februarie 2026 | — | 64-bis ZIP |
| 4.27.0 | 23 Januarie 2026 | — | 64-bis ZIP |
| 4.26.0 | 13 Desember 2025 | — | 64-bis ZIP |
| 4.25.2 | 24 November 2025 | — | 64-bis ZIP |
| 4.25.0 | 14 November 2025 | — | 64-bis ZIP |
| 4.24.0 | 14 Oktober 2025 | — | 64-bis ZIP |
| 4.23.0 | 14 September 2025 | — | 64-bis ZIP |
| 4.22.0 | 14 Augustus 2025 | — | 64-bis ZIP |
| 4.21.0 | 30 Junie 2025 | — | 64-bis ZIP |
| 4.20.1 | 04 Junie 2025 | — | 64-bis ZIP |
| 4.20.0 | 02 Junie 2025 | — | 64-bis ZIP |
| 4.19.0 | 01 Mei 2025 | — | 64-bis ZIP |
