Þetta er eldri útgáfa. Nýjasta útgáfan er 4.35.0. Lean 4.35.0 · Gefið út:
Uppsetningarskrár 4.32.2
| Högun | Gerð | Umfang | Skráarstærð | Sækja | SHA256 |
|---|---|---|---|---|---|
| 64 bita | ZIP → Ferðaútgáfa | — | — | github.com | VirusTotal |
Tengillinn og SHA256-gildið koma úr samfélagslýsingu Windows-pakkastjórans (winget). Berið gildi sóttu skrárinnar saman við það áður en hún er keyrð.
Útgáfuupplýsingar
This is the v4.32.2 release of Lean. View the release notes for more information.
