New comment by ram02z on void-packages repository

https://github.com/void-linux/void-packages/pull/33587#issuecomment-1139985442

Comment:
> @ram02z Could you update the branch and change the version to 1.1.1?

Thanks for reminding me. I no longer use Lean so I will close this PR. Feel free to use the templates.