--- rpl/configure.ac 2015/01/14 08:13:12 1.109 +++ rpl/configure.ac 2015/01/21 21:32:03 1.110 @@ -28,7 +28,7 @@ MPFR=mpfr-3.1.2 NTL=ntl-5.5.2 COCOA=CoCoALib-0.9950 PARI=pari-2.5.4 -GIAC=giac-1.1.0 +GIAC=giac-1.1.4 dnl 32 bits ABI AC_ARG_WITH(gcc_version,