There is an updated pull request by jleightcap against master on the void-packages repository https://github.com/jleightcap/void-packages master https://github.com/void-linux/void-packages/pull/27855 New package: minipro-0.5 A patch file from https://github.com/void-linux/void-packages/pull/27855.patch is attached