--- rpl/configure.ac	2022/06/09 14:22:49	1.270
+++ rpl/configure.ac	2022/06/13 16:53:41	1.271
@@ -28,7 +28,7 @@ MPFR=mpfr-4.1.0
 MPFI=mpfi-1.5.4
 NTL=ntl-11.5.1
 PARI=pari-2.13.3
-GIAC=giac-1.7.0
+GIAC=giac-1.9.0
 
 dnl 32 bits ABI
 AC_ARG_WITH(gcc_version,