Αυτή είναι παλαιότερη έκδοση. Η τελευταία έκδοση είναι η 4.35.0. Lean 4.35.0 · Κυκλοφορία:
Αρχεία εγκατάστασης 4.32.2
| Αρχιτεκτονική | Τύπος | Εμβέλεια | Μέγεθος αρχείου | Λήψη | SHA256 |
|---|---|---|---|---|---|
| 64-bit | ZIP → Φορητό | — | — | github.com | VirusTotal |
Ο σύνδεσμος και το SHA256 προέρχονται από το κοινοτικό manifest του Windows Package Manager. Συγκρίνετε το hash του ληφθέντος αρχείου πριν το εκτελέσετε.
Σημειώσεις έκδοσης
This is the v4.32.2 release of Lean. View the release notes for more information.
