--- rpl/configure.ac 2012/07/31 11:06:34 1.39 +++ rpl/configure.ac 2012/08/22 09:20:35 1.40 @@ -27,7 +27,7 @@ MPFR=mpfr-3.1.0 NTL=ntl-5.5.2 COCOA=CoCoALib-0.9950 PARI=pari-2.5.1 -GIAC=giac-0.9.6 +GIAC=giac-0.9.8 dnl 32 bits ABI AC_ARG_WITH(gcc_version,