--- rpl/configure.ac	2019/10/25 20:22:16	1.248
+++ rpl/configure.ac	2019/10/25 20:31:10	1.249
@@ -28,7 +28,7 @@ MPFI=mpfi-1.5.4
 NTL=ntl-11.4.1
 COCOA=CoCoALib-0.99601
 PARI=pari-2.11.2
-GIAC=giac-1.4.9
+GIAC=giac-1.5.0
 
 dnl 32 bits ABI
 AC_ARG_WITH(gcc_version,