--- rpl/configure.ac	2019/10/31 15:39:58	1.250
+++ rpl/configure.ac	2019/11/01 13:03:00	1.251
@@ -26,7 +26,6 @@ GMP=gmp-6.1.2
 MPFR=mpfr-4.0.2
 MPFI=mpfi-1.5.4
 NTL=ntl-11.4.1
-COCOA=CoCoALib-0.99601
 PARI=pari-2.11.2
 GIAC=giac-1.5.0
 
@@ -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)