--- rpl/configure.ac 2021/12/13 18:49:25 1.259 +++ rpl/configure.ac 2021/12/13 18:51:35 1.260 @@ -26,7 +26,7 @@ ZLIB=zlib-1.2.11 GMP=gmp-6.2.1 MPFR=mpfr-4.1.0 MPFI=mpfi-1.5.4 -NTL=ntl-11.4.3 +NTL=ntl-11.5.1 PARI=pari-2.13.3 GIAC=giac-1.7.0