இது பழைய பதிப்பு. தற்போதைய பதிப்பு 4.35.0. Lean 4.35.0 · வெளியான தேதி:
நிறுவிக் கோப்புகள் 4.21.0
| கட்டமைப்பு | வகை | நிறுவல் வரம்பு | கோப்பு அளவு | டவுன்லோட் | SHA256 |
|---|---|---|---|---|---|
| 64-பிட் | ZIP → போர்ட்டபிள் | — | — | github.com | VirusTotal |
இணைப்பும் SHA256-உம் Windows Package Manager சமூக மேனிஃபெஸ்டிலிருந்து எடுக்கப்பட்டவை. பதிவிறக்கிய கோப்பை இயக்கும் முன் அதன் ஹாஷை ஒப்பிட்டுப் பாருங்கள்.
