This website requires JavaScript.
Explore
Help
Sign In
KofTwentyTwo
/
winget-pkgs
Watch
2
Star
0
Fork
0
Code
Issues
Pull Requests
1
Actions
Packages
Projects
Releases
Wiki
Activity
Files
5a692ee5585f3c89e49bb94dea49d3cc3473e80d
winget-pkgs
/
manifests
/
l
/
Lean
T
History
spectobot
7877b5bcb1
New version: Lean.Lean version 4.34.1 (
#440842
)
2026-09-25 03:03:35 +00:00
..
Elan
…
Lean
…