New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/issues/46293#issuecomment-1745084845 Comment: Let me clarify: the error was in `do_build` phase of maxima itself, not maxima-ecl. Even on `x86_64`, `./xbps-src pkg -o ecl,~sbcl maxima` fails in the same way, so this is not aarch64-related, rather ecl-related. After rebuilding ecl natively, nothing changes. maxima is currently nocross (not sure why), so I was rebuilding it with 5.46.0 and confirmed it builds fine. Thanks for the clarification about patches. does this make sense?