--- rpl/configure.ac	2013/03/23 17:57:55	1.63
+++ rpl/configure.ac	2013/03/27 22:10:46	1.64
@@ -24,7 +24,7 @@ SIGSEGV=libsigsegv-2.11
 ZLIB=zlib-1.2.7
 
 GMP=gmp-5.1.1
-MPFR=mpfr-3.1.1
+MPFR=mpfr-3.1.2
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950
 PARI=pari-2.5.1