यो पुरानो संस्करण हो। पछिल्लो संस्करण 4.35.0 हो। Lean 4.35.0 · रिलिज:
इन्स्टलर फाइलहरू 4.32.2
| आर्किटेक्चर | प्रकार | कसका लागि | फाइल साइज | डाउनलोड | SHA256 |
|---|---|---|---|---|---|
| ६४-बिट | ZIP → पोर्टेबल | — | — | github.com | VirusTotal |
लिङ्क र SHA256, Windows Package Manager का कम्युनिटी म्यानिफेस्टबाट लिइएका हुन्। फाइल चलाउनुअघि त्यसको ह्यास मिलाएर हेर्नुहोस्।
रिलिज नोटहरू
This is the v4.32.2 release of Lean. View the release notes for more information.
