--- rpl/configure.ac	2016/09/26 14:02:36	1.165
+++ rpl/configure.ac	2016/09/26 14:04:58	1.166
@@ -27,7 +27,7 @@ GMP=gmp-6.1.1
 MPFR=mpfr-3.1.4
 MPFI=mpfi-1.5.1
 NTL=ntl-9.11.0
-COCOA=CoCoALib-0.9950
+COCOA=CoCoALib-0.99542
 PARI=pari-2.7.6
 GIAC=giac-1.2.2