यहाँ Lean का २४ संस्करण छन्, २०२५ मे १ देखि हालको 4.35.0 सम्म। हरेक संस्करणको लिङ्क प्रकाशकका आफ्नै इन्स्टलर फाइलहरूमा जान्छ।
१ वर्षमा २४ संस्करण · प्रति वर्ष लगभग १७
| संस्करण | मिति | साइज | फाइलहरू |
|---|---|---|---|
| 4.35.0पछिल्लो | २०२६ अक्टोबर १२ | — | ६४-बिट ZIP रिलिज नोटहरूThis is the v4.35.0 release of Lean. View the release notes for more information. |
| 4.34.1 | २०२६ सेप्टेम्बर २४ | — | ६४-बिट ZIP रिलिज नोटहरूThis is the v4.34.1 release of Lean. View the release notes for more information. |
| 4.34.0 | २०२६ सेप्टेम्बर १४ | — | ६४-बिट ZIP रिलिज नोटहरूThis is the v4.34.0 release of Lean. View the release notes for more information. |
| 4.33.1 | २०२६ अगस्ट २१ | — | ६४-बिट ZIP रिलिज नोटहरूThis is the v4.33.1 release of Lean. View the release notes for more information. |
| 4.33.0 | २०२६ अगस्ट १० | — | ६४-बिट ZIP रिलिज नोटहरूThis is the v4.33.0 release of Lean. View the release notes for more information. |
| 4.32.2 | २०२६ जुलाई २८ | — | ६४-बिट ZIP रिलिज नोटहरूThis is the v4.32.2 release of Lean. View the release notes for more information. |
| 4.32.1 | २०२६ जुलाई २२ | — | ६४-बिट ZIP रिलिज नोटहरूThis is the v4.32.1 release of Lean. View the release notes for more information. |
| 4.32.0 | २०२६ जुलाई १३ | — | ६४-बिट ZIP रिलिज नोटहरूThis is the v4.32.0 release of Lean. View the release notes for more information. |
| 4.31.0 | २०२६ जुन १५ | — | ६४-बिट ZIP रिलिज नोटहरूThis is the v4.31.0 release of Lean. View the release notes for more information. |
| 4.30.0 | २०२६ मे २६ | — | ६४-बिट ZIP रिलिज नोटहरूThis is the v4.30.0 release of Lean. View the release notes for more information. |
| 4.29.1 | २०२६ अप्रिल १४ | — | ६४-बिट ZIP |
| 4.29.0 | २०२६ मार्च २७ | — | ६४-बिट ZIP |
| 4.28.0 | २०२६ फेब्रुअरी १६ | — | ६४-बिट ZIP |
| 4.27.0 | २०२६ जनवरी २३ | — | ६४-बिट ZIP |
| 4.26.0 | २०२५ डिसेम्बर १३ | — | ६४-बिट ZIP |
| 4.25.2 | २०२५ नोभेम्बर २४ | — | ६४-बिट ZIP |
| 4.25.0 | २०२५ नोभेम्बर १४ | — | ६४-बिट ZIP |
| 4.24.0 | २०२५ अक्टोबर १४ | — | ६४-बिट ZIP |
| 4.23.0 | २०२५ सेप्टेम्बर १४ | — | ६४-बिट ZIP |
| 4.22.0 | २०२५ अगस्ट १४ | — | ६४-बिट ZIP |
| 4.21.0 | २०२५ जुन ३० | — | ६४-बिट ZIP |
| 4.20.1 | २०२५ जुन ४ | — | ६४-बिट ZIP |
| 4.20.0 | २०२५ जुन २ | — | ६४-बिट ZIP |
| 4.19.0 | २०२५ मे १ | — | ६४-बिट ZIP |
