There's a closed pull request on the void-packages repository

[nomerge] New package: metamath-0.178
https://github.com/void-linux/void-packages/pull/15721

Description: