--- rpl/configure.ac 2016/09/26 13:11:28 1.163 +++ rpl/configure.ac 2016/09/26 14:02:36 1.165 @@ -23,10 +23,10 @@ LIBXPM=libXpm-3.5.11 SIGSEGV=libsigsegv-2.11 ZLIB=zlib-1.2.8 -GMP=gmp-6.1.0 +GMP=gmp-6.1.1 MPFR=mpfr-3.1.4 MPFI=mpfi-1.5.1 -NTL=ntl-5.5.2 +NTL=ntl-9.11.0 COCOA=CoCoALib-0.9950 PARI=pari-2.7.6 GIAC=giac-1.2.2