Εδώ καταγράφονται 24 εκδόσεις του Lean, από τις 1 Μαΐου 2025 έως την τρέχουσα 4.35.0. Κάθε έκδοση οδηγεί στα αρχεία εγκατάστασης του ίδιου του εκδότη.
24 εκδόσεις σε 1 έτος · περίπου 17 τον χρόνο
| Έκδοση | Ημερομηνία | Μέγεθος | Αρχεία |
|---|---|---|---|
| 4.35.0Τελευταία | 12 Οκτωβρίου 2026 | — | 64-bit ZIP Σημειώσεις έκδοσηςThis is the v4.35.0 release of Lean. View the release notes for more information. |
| 4.34.1 | 24 Σεπτεμβρίου 2026 | — | 64-bit ZIP Σημειώσεις έκδοσηςThis is the v4.34.1 release of Lean. View the release notes for more information. |
| 4.34.0 | 14 Σεπτεμβρίου 2026 | — | 64-bit ZIP Σημειώσεις έκδοσηςThis is the v4.34.0 release of Lean. View the release notes for more information. |
| 4.33.1 | 21 Αυγούστου 2026 | — | 64-bit ZIP Σημειώσεις έκδοσηςThis is the v4.33.1 release of Lean. View the release notes for more information. |
| 4.33.0 | 10 Αυγούστου 2026 | — | 64-bit ZIP Σημειώσεις έκδοσηςThis is the v4.33.0 release of Lean. View the release notes for more information. |
| 4.32.2 | 28 Ιουλίου 2026 | — | 64-bit ZIP Σημειώσεις έκδοσηςThis is the v4.32.2 release of Lean. View the release notes for more information. |
| 4.32.1 | 22 Ιουλίου 2026 | — | 64-bit ZIP Σημειώσεις έκδοσηςThis is the v4.32.1 release of Lean. View the release notes for more information. |
| 4.32.0 | 13 Ιουλίου 2026 | — | 64-bit ZIP Σημειώσεις έκδοσηςThis is the v4.32.0 release of Lean. View the release notes for more information. |
| 4.31.0 | 15 Ιουνίου 2026 | — | 64-bit ZIP Σημειώσεις έκδοσηςThis is the v4.31.0 release of Lean. View the release notes for more information. |
| 4.30.0 | 26 Μαΐου 2026 | — | 64-bit ZIP Σημειώσεις έκδοσηςThis is the v4.30.0 release of Lean. View the release notes for more information. |
| 4.29.1 | 14 Απριλίου 2026 | — | 64-bit ZIP |
| 4.29.0 | 27 Μαρτίου 2026 | — | 64-bit ZIP |
| 4.28.0 | 16 Φεβρουαρίου 2026 | — | 64-bit ZIP |
| 4.27.0 | 23 Ιανουαρίου 2026 | — | 64-bit ZIP |
| 4.26.0 | 13 Δεκεμβρίου 2025 | — | 64-bit ZIP |
| 4.25.2 | 24 Νοεμβρίου 2025 | — | 64-bit ZIP |
| 4.25.0 | 14 Νοεμβρίου 2025 | — | 64-bit ZIP |
| 4.24.0 | 14 Οκτωβρίου 2025 | — | 64-bit ZIP |
| 4.23.0 | 14 Σεπτεμβρίου 2025 | — | 64-bit ZIP |
| 4.22.0 | 14 Αυγούστου 2025 | — | 64-bit ZIP |
| 4.21.0 | 30 Ιουνίου 2025 | — | 64-bit ZIP |
| 4.20.1 | 4 Ιουνίου 2025 | — | 64-bit ZIP |
| 4.20.0 | 2 Ιουνίου 2025 | — | 64-bit ZIP |
| 4.19.0 | 1 Μαΐου 2025 | — | 64-bit ZIP |
