[PRQ#72625] Merge Request for lean4

[notify]

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/