New comment by dkwo on void-packages repository https://github.com/void-linux/void-packages/pull/32822#issuecomment-913562774 Comment: Btw, the packages `ntl-devel` and `flintlib-devel` are not even found on the Void homepage - packages for `arm` and `aarch`, what am I missing here??