--- rpl/configure.ac 2019/10/25 20:21:04 1.247 +++ rpl/configure.ac 2019/10/25 20:31:10 1.249 @@ -27,8 +27,8 @@ MPFR=mpfr-4.0.2 MPFI=mpfi-1.5.4 NTL=ntl-11.4.1 COCOA=CoCoALib-0.99601 -PARI=pari-2.9.5 -GIAC=giac-1.4.9 +PARI=pari-2.11.2 +GIAC=giac-1.5.0 dnl 32 bits ABI AC_ARG_WITH(gcc_version,