New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/39866#issuecomment-1276308230 Comment: Sure, let's do it in sagemath pr then.