New comment by tornaria on void-packages repository https://github.com/void-linux/void-packages/pull/41179#issuecomment-1375637608 Comment: This PR is outdated, I replaced it by #41535 which should be an easy merge (it only drops mpir-devel from gnuradio makedepends). Later we can drop `mpir` if this is deemed appropriate.