Chocobo1 [1] filed a request to merge lean4-bin [2] into lean-bin [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-bin`, and I would now like to merge `lean4-bin` into it.
[1] https://aur.archlinux.org/account/Chocobo1/ [2] https://aur.archlinux.org/pkgbase/lean4-bin/ [3] https://aur.archlinux.org/pkgbase/lean-bin/
