Här listas 24 versioner av Lean, från 1 maj 2025 till den aktuella 4.35.0. Varje version länkar till utgivarens egna installationsfiler.
24 versioner på 1 år · ungefär 17 per år
| Version | Datum | Storlek | Filer |
|---|---|---|---|
| 4.35.0Senaste | 12 oktober 2026 | — | 64-bitars ZIP VersionsinformationThis is the v4.35.0 release of Lean. View the release notes for more information. |
| 4.34.1 | 24 september 2026 | — | 64-bitars ZIP VersionsinformationThis is the v4.34.1 release of Lean. View the release notes for more information. |
| 4.34.0 | 14 september 2026 | — | 64-bitars ZIP VersionsinformationThis is the v4.34.0 release of Lean. View the release notes for more information. |
| 4.33.1 | 21 augusti 2026 | — | 64-bitars ZIP VersionsinformationThis is the v4.33.1 release of Lean. View the release notes for more information. |
| 4.33.0 | 10 augusti 2026 | — | 64-bitars ZIP VersionsinformationThis is the v4.33.0 release of Lean. View the release notes for more information. |
| 4.32.2 | 28 juli 2026 | — | 64-bitars ZIP VersionsinformationThis is the v4.32.2 release of Lean. View the release notes for more information. |
| 4.32.1 | 22 juli 2026 | — | 64-bitars ZIP VersionsinformationThis is the v4.32.1 release of Lean. View the release notes for more information. |
| 4.32.0 | 13 juli 2026 | — | 64-bitars ZIP VersionsinformationThis is the v4.32.0 release of Lean. View the release notes for more information. |
| 4.31.0 | 15 juni 2026 | — | 64-bitars ZIP VersionsinformationThis is the v4.31.0 release of Lean. View the release notes for more information. |
| 4.30.0 | 26 maj 2026 | — | 64-bitars ZIP VersionsinformationThis is the v4.30.0 release of Lean. View the release notes for more information. |
| 4.29.1 | 14 april 2026 | — | 64-bitars ZIP |
| 4.29.0 | 27 mars 2026 | — | 64-bitars ZIP |
| 4.28.0 | 16 februari 2026 | — | 64-bitars ZIP |
| 4.27.0 | 23 januari 2026 | — | 64-bitars ZIP |
| 4.26.0 | 13 december 2025 | — | 64-bitars ZIP |
| 4.25.2 | 24 november 2025 | — | 64-bitars ZIP |
| 4.25.0 | 14 november 2025 | — | 64-bitars ZIP |
| 4.24.0 | 14 oktober 2025 | — | 64-bitars ZIP |
| 4.23.0 | 14 september 2025 | — | 64-bitars ZIP |
| 4.22.0 | 14 augusti 2025 | — | 64-bitars ZIP |
| 4.21.0 | 30 juni 2025 | — | 64-bitars ZIP |
| 4.20.1 | 4 juni 2025 | — | 64-bitars ZIP |
| 4.20.0 | 2 juni 2025 | — | 64-bitars ZIP |
| 4.19.0 | 1 maj 2025 | — | 64-bitars ZIP |
