Dette er en eldre versjon. Nyeste versjon er 4.35.0. Lean 4.35.0 · Utgitt:
Installasjonsfiler 4.32.2
| Arkitektur | Type | Omfang | Filstørrelse | Nedlasting | SHA256 |
|---|---|---|---|---|---|
| 64-bit | ZIP → Portabel | — | — | github.com | VirusTotal |
Lenken og SHA256-summen kommer fra fellesskapsmanifestet til Windows Package Manager. Sammenlign sjekksummen for den nedlastede filen før du kjører den.
Endringslogg
This is the v4.32.2 release of Lean. View the release notes for more information.
