There is a new pull request by jbgg against master on the void-packages repository https://github.com/jbgg/void-packages maxima https://github.com/void-linux/void-packages/pull/25205 maxima: default build with sbcl closes: #25196 A patch file from https://github.com/void-linux/void-packages/pull/25205.patch is attached