New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/34789#issuecomment-1016477121 Comment: I see, then I'd decouple it from sage.