--- rpl/configure.ac 2016/09/26 14:01:39 1.164 +++ rpl/configure.ac 2016/09/26 14:04:58 1.166 @@ -26,8 +26,8 @@ ZLIB=zlib-1.2.8 GMP=gmp-6.1.1 MPFR=mpfr-3.1.4 MPFI=mpfi-1.5.1 -NTL=ntl-5.5.2 -COCOA=CoCoALib-0.9950 +NTL=ntl-9.11.0 +COCOA=CoCoALib-0.99542 PARI=pari-2.7.6 GIAC=giac-1.2.2