--- rpl/configure.ac 2018/05/29 06:04:58 1.215 +++ rpl/configure.ac 2018/05/29 06:21:36 1.217 @@ -24,12 +24,12 @@ 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 -GIAC=giac-1.2.2 +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.4.9 dnl 32 bits ABI AC_ARG_WITH(gcc_version,