ဤဗားရှင်းသည် ဗားရှင်းဟောင်း ဖြစ်ပါသည်။ နောက်ဆုံးဗားရှင်းမှာ 4.35.0 ဖြစ်ပါသည်။ Lean 4.35.0 · ထုတ်ဝေသည့်နေ့:
Installer ဖိုင်များ 4.30.0
| Architecture | အမျိုးအစား | ထည့်သွင်းမှု နယ်ပယ် | ဖိုင်အရွယ်အစား | ဒေါင်းလုဒ် | SHA256 |
|---|---|---|---|---|---|
| 64-bit | ZIP → Portable | — | — | github.com | VirusTotal |
လင့်ခ်နှင့် SHA256 ကို Windows Package Manager community manifest မှ ယူထားပါသည်။ ဒေါင်းလုဒ်လုပ်ထားသော ဖိုင်ကို မဖွင့်မီ hash ကို တိုက်ဆိုင်စစ်ဆေးပါ။
Release notes
This is the v4.30.0 release of Lean. View the release notes for more information.
