26 Apr
2025
26 Apr
'25
7:58 p.m.
Request #72625 has been Accepted by Muflone [1]: [Autogenerated] Accepted merge for lean4 into lean. [1] https://aur.archlinux.org/account/Muflone/