--- rpl/configure.ac	2018/05/29 06:13:44	1.216
+++ rpl/configure.ac	2018/05/29 06:21:36	1.217
@@ -29,7 +29,7 @@ MPFI=mpfi-1.5.3
 NTL=ntl-11.0.0
 COCOA=CoCoALib-0.99563
 PARI=pari-2.9.5
-GIAC=giac-1.2.2
+GIAC=giac-1.4.9
 
 dnl 32 bits ABI
 AC_ARG_WITH(gcc_version,