--- rpl/configure.ac	2019/10/25 20:17:06	1.244
+++ rpl/configure.ac	2020/01/16 08:57:42	1.252
@@ -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])
@@ -24,11 +24,10 @@ ZLIB=zlib-1.2.11
 
 GMP=gmp-6.1.2
 MPFR=mpfr-4.0.2
-MPFI=mpfi-1.5.3
-NTL=ntl-11.0.0
-COCOA=CoCoALib-0.99600
-PARI=pari-2.9.5
-GIAC=giac-1.4.9
+MPFI=mpfi-1.5.4
+NTL=ntl-11.4.1
+PARI=pari-2.11.2
+GIAC=giac-1.5.0
 
 dnl 32 bits ABI
 AC_ARG_WITH(gcc_version,
@@ -318,7 +317,7 @@ AC_ARG_ENABLE(final-encoding,
 [  --enable-final-encoding force final encoding [[default=guessed]]], [
 if test "$enableval" = "no"; then
 	FINAL_ENCODING="\$(shell locale charmap | \
-		\$(AWK) '/\=/ { print \$\$3;} !/\=/ { print \$\$1;}')"
+		\$(AWK) '/=/ { print \$\$3;} !/=/ { print \$\$1;}')"
 	FORCED_FINAL_ENCODING=0
 else
 	FINAL_ENCODING="$enable_final_encoding"
@@ -326,7 +325,7 @@ else
 fi], [
 FORCED_FINAL_ENCODING=0
 FINAL_ENCODING="\$(shell locale charmap | \
-	\$(AWK) '/\=/ { print \$\$3;} !/\=/ { print \$\$1;}')"])
+	\$(AWK) '/=/ { print \$\$3;} !/=/ { print \$\$1;}')"])
 
 AC_ARG_ENABLE(tex,
 [  --enable-tex            provide the TeX support [[default=guessed]]], [
@@ -574,10 +573,6 @@ if test ! -d rplcas/$NTL; then
 	gunzip -c "$srcdir"/rplcas/$NTL.tar.gz | \
 			(cd rplcas && tar -xf -)
 fi
-if test ! -d rplcas/$COCOA; then
-	gunzip -c "$srcdir"/rplcas/$COCOA.tar.gz | \
-			(cd rplcas && tar -xf -)
-fi
 if test ! -d rplcas/$PARI; then
 	gunzip -c "$srcdir"/rplcas/$PARI.tar.gz | \
 			(cd rplcas && tar -xf -)
@@ -1457,7 +1452,6 @@ AC_SUBST(GMP)
 AC_SUBST(MPFR)
 AC_SUBST(MPFI)
 AC_SUBST(NTL)
-AC_SUBST(COCOA)
 AC_SUBST(PARI)
 AC_SUBST(GIAC)
 AC_SUBST(INCMOTIF)