--- rpl/configure.ac 2013/07/11 11:56:32 1.72 +++ rpl/configure.ac 2013/08/28 11:02:26 1.74 @@ -16,7 +16,7 @@ GPP=gpp-3.0 GNUPLOT=gnuplot-4.6.3 FILE=file-5.11 ICONV=libiconv-1.14 -SQLITE=sqlite-3.7.17 +SQLITE=sqlite-3.8.0 OPENSSL=openssl-1.0.1e OPENMOTIF=openmotif-2.3.4 LIBXPM=libXpm-3.5.9 @@ -27,7 +27,7 @@ GMP=gmp-5.1.2 MPFR=mpfr-3.1.2 NTL=ntl-5.5.2 COCOA=CoCoALib-0.9950 -PARI=pari-2.5.1 +PARI=pari-2.5.4 GIAC=giac-1.1.0 dnl 32 bits ABI