--- rpl/configure.ac	2019/10/25 20:00:37	1.243
+++ rpl/configure.ac	2019/10/25 20:17:06	1.244
@@ -23,7 +23,7 @@ SIGSEGV=libsigsegv-2.12
 ZLIB=zlib-1.2.11
 
 GMP=gmp-6.1.2
-MPFR=mpfr-4.0.1
+MPFR=mpfr-4.0.2
 MPFI=mpfi-1.5.3
 NTL=ntl-11.0.0
 COCOA=CoCoALib-0.99600