/mpfr-*.zip
/mpfr-*.tar.xz
