New comment by tornaria on void-packages repository https://github.com/void-linux/void-packages/pull/42326#issuecomment-1535595055 Comment: This is ready, and the upstream PR is good now https://github.com/sagemath/sage/pull/35612. It may be better to do this when we upgrade to 10.0.