There's a merged pull request on the void-packages repository

maxima: fix #34849 and #34861
https://github.com/void-linux/void-packages/pull/34887

Description:
 - 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.