New comment by leahneukirchen on void-packages repository https://github.com/void-linux/void-packages/issues/26935#issuecomment-738765152 Comment: Are you sure you have maxima-5.44.0_4 and not maxima-5.44.0_3? I can reproduce with _3, but we fixed this in _4.