--- rpl/configure.ac	2018/05/29 06:04:58	1.215
+++ rpl/configure.ac	2018/05/29 06:13:44	1.216
@@ -24,11 +24,11 @@ SIGSEGV=libsigsegv-2.12
 ZLIB=zlib-1.2.11
 
 GMP=gmp-6.1.2
-MPFR=mpfr-3.1.5
-MPFI=mpfi-1.5.1
-NTL=ntl-9.11.0
-COCOA=CoCoALib-0.99542
-PARI=pari-2.7.6
+MPFR=mpfr-4.0.1
+MPFI=mpfi-1.5.3
+NTL=ntl-11.0.0
+COCOA=CoCoALib-0.99563
+PARI=pari-2.9.5
 GIAC=giac-1.2.2
 
 dnl 32 bits ABI