X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/proxmark3-svn/blobdiff_plain/d6e91bf0866c8cfcc8b3d67e11c11c39f9cfffaf..243dc6900194c533e49daae0d30623918ef31252:/tools/install-gnuarm4.sh?ds=sidebyside

diff --git a/tools/install-gnuarm4.sh b/tools/install-gnuarm4.sh
index bfd12119..d76fbb99 100755
--- a/tools/install-gnuarm4.sh
+++ b/tools/install-gnuarm4.sh
@@ -6,7 +6,7 @@ GCC_VER="4.3.3"
 GDB_VER="6.8"
 NEWLIB_VER="1.17.0"
 GMP_VER="4.2.4"
-MPFR_VER="2.4.1"
+MPFR_VER="2.4.2"
 INSIGHT_VER="6.8"
 
 # Where you want to install the tools
@@ -37,7 +37,7 @@ INSIGHT=http://mirrors.kernel.org/sources.redhat.com/insight/releases/insight-${
 #INSIGHT=http://www.mirrorservice.org/sites/sources.redhat.com/pub/insight/releases/insight-${INSIGHT_VER}.tar.bz2
 GDB=ftp://sourceware.org/pub/gdb/releases/gdb-${GDB_VER}.tar.bz2
 GMP=http://ftp.sunet.se/pub/gnu/gmp/gmp-${GMP_VER}.tar.bz2
-MPFR=http://www.mpfr.org/mpfr-current/mpfr-${MPFR_VER}.tar.bz2
+MPFR=http://mpfr.loria.fr/mpfr-current/mpfr-${MPFR_VER}.tar.bz2
 
 # Common configuration options (i.e., things to pass to 'configure')
 COMMON_CFG="--enable-interwork --target=arm-elf --program-prefix=arm-elf- --prefix=${DESTDIR} --disable-werror --enable-languages=c,c++ --enable-multilib --disable-shared"