--- rpl/configure.ac 2019/10/25 20:00:37 1.243 +++ rpl/configure.ac 2019/10/25 20:22:16 1.248 @@ -23,11 +23,11 @@ SIGSEGV=libsigsegv-2.12 ZLIB=zlib-1.2.11 GMP=gmp-6.1.2 -MPFR=mpfr-4.0.1 -MPFI=mpfi-1.5.3 -NTL=ntl-11.0.0 -COCOA=CoCoALib-0.99600 -PARI=pari-2.9.5 +MPFR=mpfr-4.0.2 +MPFI=mpfi-1.5.4 +NTL=ntl-11.4.1 +COCOA=CoCoALib-0.99601 +PARI=pari-2.11.2 GIAC=giac-1.4.9 dnl 32 bits ABI