Chocobo1 [1] filed a request to merge lean4-git [2] into lean-git [3]: I believe the canonical name should be `lean` rather than `lean4`. At least, that is what the upstream project calls itself: https://lean- lang.org/ I have already submitted `lean-git`, and I would now like to merge `lean4-git` into it.
[1] https://aur.archlinux.org/account/Chocobo1/ [2] https://aur.archlinux.org/pkgbase/lean4-git/ [3] https://aur.archlinux.org/pkgbase/lean-git/
