New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/39866#issuecomment-1273796991 Comment: I'm not in a hurry, the main reason I wanted to update is for the gcc12 update, which fails at building previous singular versions. Please link your sage PR here once available, and I'll close this.