New comment by jbgg on void-packages repository https://github.com/void-linux/void-packages/issues/25196#issuecomment-701240184 Comment: I use maxima with `sbcl`, I haven't seen any problem.