--- rpl/configure.ac 2019/10/25 20:17:06 1.244 +++ rpl/configure.ac 2019/10/25 20:19:39 1.246 @@ -24,8 +24,8 @@ ZLIB=zlib-1.2.11 GMP=gmp-6.1.2 MPFR=mpfr-4.0.2 -MPFI=mpfi-1.5.3 -NTL=ntl-11.0.0 +MPFI=mpfi-1.5.4 +NTL=ntl-11.4.1 COCOA=CoCoALib-0.99600 PARI=pari-2.9.5 GIAC=giac-1.4.9