New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/47712#issuecomment-1979168342

Comment:
maybe we need this https://github.com/linbox-team/givaro/commit/a6b370873e406f9921a50359ed8ebf4714776411 ?