--- rpl/configure.ac	2016/09/26 19:09:05	1.167
+++ rpl/configure.ac	2016/09/27 12:05:22	1.168
@@ -24,7 +24,7 @@ SIGSEGV=libsigsegv-2.11
 ZLIB=zlib-1.2.8
 
 GMP=gmp-6.1.1
-MPFR=mpfr-3.1.4
+MPFR=mpfr-3.1.5
 MPFI=mpfi-1.5.1
 NTL=ntl-9.11.0
 COCOA=CoCoALib-0.99542