--- rpl/configure.ac	2016/03/15 16:31:14	1.152
+++ rpl/configure.ac	2016/03/23 21:52:37	1.153
@@ -24,7 +24,7 @@ SIGSEGV=libsigsegv-2.11
 ZLIB=zlib-1.2.8
 
 GMP=gmp-6.1.0
-MPFR=mpfr-3.1.3
+MPFR=mpfr-3.1.4
 MPFI=mpfi-1.5.1
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950