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

New package: metamath-0.179
https://github.com/void-linux/void-packages/pull/17223

Description:
Makefile.am is edited as per https://github.com/metamath/metamath-exe/issues/3#issuecomment-536509055