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