New comment by tornaria on void-packages repository https://github.com/void-linux/void-packages/pull/45500#issuecomment-1712959543 Comment: > We should use some gmp mirror, the devs probably block GitHub. This works for the main gmp template: `${GNU_SITE}/gmp/gmp-${version}.tar.xz`