New comment by Eloitor on void-packages repository

https://github.com/void-linux/void-packages/pull/32556#issuecomment-900933468

Comment:
Should I also make a package for https://github.com/leanprover-community/mathlib-tools ?