New comment by Eloitor on void-packages repository

https://github.com/void-linux/void-packages/pull/32559#issuecomment-902472145

Comment:
> It seems the build tries to run `lean` itself (to compile some lean files?) meaning that it's not obvious how to cross-build. Unless there's another way, you should add `nocross=yes` to template (right after `checksum`).
> 

Done. When I know more about compiling and void I'll try to figure out if it's possible to cross-compile it.