There's a merged pull request on the void-packages repository New Package: scryer-prolog-0.8.123 https://github.com/void-linux/void-packages/pull/23821 Description: