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

[notify]

Request #72525 has been Accepted by Muflone [1]:

[Autogenerated] Accepted merge for lean-bin into lean3-bin.

[1] https://aur.archlinux.org/account/Muflone/