--- rpl/configure.ac 2019/10/25 20:22:16 1.248 +++ rpl/configure.ac 2019/10/31 15:39:58 1.250 @@ -1,5 +1,5 @@ dnl Process this file with autoconf to produce a configure script. -AC_INIT([rpl],[4.1.31]) +AC_INIT([rpl],[4.1.32]) AC_CANONICAL_TARGET AM_INIT_AUTOMAKE(silent-rules) AM_SILENT_RULES([yes]) @@ -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,