[PRQ#72525] Merge Request for lean-bin Accepted

Request #72525 has been Accepted by Muflone [1]: [Autogenerated] Accepted merge for lean-bin into lean3-bin. [1] https://aur.archlinux.org/account/Muflone/

[PRQ#72525] Merge Request for lean-bin

oech3 [1] filed a request to merge lean-bin [2] into lean3-bin [3]: same [1] https://aur.archlinux.org/account/oech3/ [2] https://aur.archlinux.org/pkgbase/lean-bin/ [3] https://aur.archlinux.org/pkgbase/lean3-bin/