--- rpl/configure.ac	2015/07/16 15:12:41	1.130
+++ rpl/configure.ac	2015/07/17 06:10:12	1.131
@@ -24,7 +24,7 @@ SIGSEGV=libsigsegv-2.11
 ZLIB=zlib-1.2.8
 
 GMP=gmp-6.0.0
-MPFR=mpfr-3.1.2
+MPFR=mpfr-3.1.3
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950
 PARI=pari-2.5.4