--- rpl/configure.ac	2019/10/25 20:19:39	1.246
+++ rpl/configure.ac	2019/10/25 20:21:04	1.247
@@ -26,7 +26,7 @@ GMP=gmp-6.1.2
 MPFR=mpfr-4.0.2
 MPFI=mpfi-1.5.4
 NTL=ntl-11.4.1
-COCOA=CoCoALib-0.99600
+COCOA=CoCoALib-0.99601
 PARI=pari-2.9.5
 GIAC=giac-1.4.9