25 Apr
2025
25 Apr
'25
6:47 p.m.
oech3 [1] filed a request to merge lean4 [2] into lean [3]: same [1] https://aur.archlinux.org/account/oech3/ [2] https://aur.archlinux.org/pkgbase/lean4/ [3] https://aur.archlinux.org/pkgbase/lean/