There's a merged pull request on the void-packages repository flintlib: update to 2.8.1. https://github.com/void-linux/void-packages/pull/33274 Description: Also: build without ntl when cross-compiling, since ntl is nocross.