--- rpl/configure.ac 2019/10/25 20:18:31 1.245 +++ rpl/configure.ac 2019/10/25 20:31:10 1.249 @@ -25,10 +25,10 @@ ZLIB=zlib-1.2.11 GMP=gmp-6.1.2 MPFR=mpfr-4.0.2 MPFI=mpfi-1.5.4 -NTL=ntl-11.0.0 -COCOA=CoCoALib-0.99600 -PARI=pari-2.9.5 -GIAC=giac-1.4.9 +NTL=ntl-11.4.1 +COCOA=CoCoALib-0.99601 +PARI=pari-2.11.2 +GIAC=giac-1.5.0 dnl 32 bits ABI AC_ARG_WITH(gcc_version,