--- rpl/configure.ac 2019/10/25 20:00:37 1.243 +++ rpl/configure.ac 2019/10/25 20:18:31 1.245 @@ -23,8 +23,8 @@ SIGSEGV=libsigsegv-2.12 ZLIB=zlib-1.2.11 GMP=gmp-6.1.2 -MPFR=mpfr-4.0.1 -MPFI=mpfi-1.5.3 +MPFR=mpfr-4.0.2 +MPFI=mpfi-1.5.4 NTL=ntl-11.0.0 COCOA=CoCoALib-0.99600 PARI=pari-2.9.5