New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/39866#issuecomment-1273741607 Comment: Sure, that's fine with me. Just incorporate this one there? Also perhaps have a look at the python3.11 update, I think it's also updating sage.