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