There is a new pull request by xelxebar against master on the void-packages repository

https://github.com/xelxebar/void-packages package/metamath
https://github.com/void-linux/void-packages/pull/15721

New package: metamath-0.178


A patch file from https://github.com/void-linux/void-packages/pull/15721.patch is attached