New comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/issues/39083#issuecomment-1430636669

Comment:
flintlib is fixed in #42271