--- rpl/configure.ac 2018/05/29 05:52:53 1.211 +++ rpl/configure.ac 2018/05/29 06:21:36 1.217 @@ -17,19 +17,19 @@ GNUPLOT=gnuplot-5.2.3 FILE=file-5.33 ICONV=libiconv-1.15 SQLITE=sqlite-3.23.1 -OPENSSL=openssl-1.1.0g -OPENMOTIF=openmotif-2.3.7 +OPENSSL=openssl-1.1.0h +OPENMOTIF=motif-2.3.8 LIBXPM=libXpm-3.5.12 -SIGSEGV=libsigsegv-2.11 -ZLIB=zlib-1.2.8 +SIGSEGV=libsigsegv-2.12 +ZLIB=zlib-1.2.11 GMP=gmp-6.1.2 -MPFR=mpfr-3.1.5 -MPFI=mpfi-1.5.1 -NTL=ntl-9.11.0 -COCOA=CoCoALib-0.99542 -PARI=pari-2.7.6 -GIAC=giac-1.2.2 +MPFR=mpfr-4.0.1 +MPFI=mpfi-1.5.3 +NTL=ntl-11.0.0 +COCOA=CoCoALib-0.99563 +PARI=pari-2.9.5 +GIAC=giac-1.4.9 dnl 32 bits ABI AC_ARG_WITH(gcc_version,