ეს ძველი ვერსიაა. უახლესი ვერსია: 4.35.0. Lean 4.35.0 · გამოშვების თარიღი:
საინსტალაციო ფაილები 4.21.0
| არქიტექტურა | ტიპი | მოქმედების არე | ფაილის ზომა | ჩამოტვირთვა | SHA256 |
|---|---|---|---|---|---|
| 64-ბიტიანი | ZIP → პორტატული | — | — | github.com | VirusTotal |
ბმული და SHA256 აღებულია Windows Package Manager-ის საზოგადოების მანიფესტიდან. ფაილის გაშვებამდე შეადარეთ ჰეში.
