There is an updated pull request by tornaria against master on the void-packages repository https://github.com/tornaria/void-packages maxima https://github.com/void-linux/void-packages/pull/34887 maxima: fix #34849 and #34861 - patch maxima-sbcl so it uses gmp for arithmetic (closes #34849) also add libgmp to shlib_requires since it won't be detected - remove `nopie=yes` to fix #34861, replace by `nopie_files` - remove `nostrip=yes`, replace by `nostrip_files` - add checks for #34849 and #34861 - run testsuite only for full check (not in CI) - some html and info files are shipped with source: do not rebuild I based this on top of #34886 so `nostrip_files` works better. A patch file from https://github.com/void-linux/void-packages/pull/34887.patch is attached