New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/34030#issuecomment-992476894 Comment: The last quote is from the github ci, not from my local system. But I will try again repackaging maxima. Great, I think not much is missing for 3.10