New review comment by dkwo on void-packages repository

https://github.com/void-linux/void-packages/pull/46832#discussion_r1401146512

Comment:
as well as remove flintlib, per discussion in the sage thread?