1
wget https://ftp.gnu.org/gnu/mpfr/mpfr-4.0.2.tar.xz || wget https://ftpmirror.gnu.org/mpfr/mpfr-4.0.2.tar.xz