--- rpl/configure.ac	2018/12/24 15:54:52	1.229
+++ rpl/configure.ac	2018/12/27 12:18:20	1.230
@@ -27,7 +27,7 @@ GMP=gmp-6.1.2
 MPFR=mpfr-4.0.1
 MPFI=mpfi-1.5.3
 NTL=ntl-11.0.0
-COCOA=CoCoALib-0.99563
+COCOA=CoCoALib-0.99600
 PARI=pari-2.9.5
 GIAC=giac-1.4.9
 
@@ -466,6 +466,10 @@ if test ! -d "$srcdir"/tools/$NCURSES; t
 			for i in $(ls ../$NCURSES*.patch.gz);
 			do echo Applying patch $i && \
 				gunzip -c $i | patch -p1;
+			done;
+			for i in $(ls ../ncurses-6.1*.patch.gz);
+			do echo Applying patch $i && \
+				gunzip -c $i | patch -p1;
 			done);
 fi
 if test ! -d "$srcdir"/tools/$READLINE; then