--- rpl/configure.ac	2015/07/15 09:04:59	1.128
+++ rpl/configure.ac	2015/07/15 22:40:58	1.129
@@ -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.4
+GIAC=giac-1.2.0
 
 dnl 32 bits ABI
 AC_ARG_WITH(gcc_version,