New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/29997#issuecomment-954826781 Comment: @ericonr Do you think we can merge some of the Math packages PR, starting from this perhaps? otherwise, rebasing them can be a bit tiring exercise.