There is an updated pull request by Chocimier against master on the void-packages repository https://github.com/Chocimier/void-packages-org scryer-prolog https://github.com/void-linux/void-packages/pull/23934 scryer-prolog: use system gmp Previous cross-build packages are probably broken anyway. cc @Johnnynator @mkohlhaas A patch file from https://github.com/void-linux/void-packages/pull/23934.patch is attached