New comment by ericonr on void-packages repository https://github.com/void-linux/void-packages/pull/29635#issuecomment-900580293 Comment: @dkwo are you still interested in the `giac` fixes?