--- rpl/configure.ac	2019/10/25 20:17:06	1.244
+++ rpl/configure.ac	2019/11/01 13:03:00	1.251
@@ -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,
@@ -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)