New comment by Eloitor on void-packages repository

https://github.com/void-linux/void-packages/pull/48865#issuecomment-1956632628

Comment:
It would be nice to  check if the installed lean works in every architecture, and if not remove them.
I'll try it on x86_64-musl soon.