There is an updated pull request by tornaria against master on the void-packages repository https://github.com/tornaria/void-packages flintlib https://github.com/void-linux/void-packages/pull/33978 flintlib: update to 2.8.3. Minor update A patch file from https://github.com/void-linux/void-packages/pull/33978.patch is attached