New comment by Eloitor on void-packages repository

https://github.com/void-linux/void-packages/pull/37315#issuecomment-1317437648

Comment:
The version here is 1.3.0: https://pypi.org/project/mathlibtools/
but the version in the github repo is 1.2.0: https://github.com/leanprover-community/mathlib-tools/tags

What should I do?