--- rpl/configure.ac	2015/07/15 09:04:59	1.128
+++ rpl/configure.ac	2015/07/17 06:10:12	1.131
@@ -24,11 +24,11 @@ SIGSEGV=libsigsegv-2.11
 ZLIB=zlib-1.2.8
 
 GMP=gmp-6.0.0
-MPFR=mpfr-3.1.2
+MPFR=mpfr-3.1.3
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950
 PARI=pari-2.5.4
-GIAC=giac-1.1.4
+GIAC=giac-1.2.0
 
 dnl 32 bits ABI
 AC_ARG_WITH(gcc_version,
@@ -1307,6 +1307,9 @@ esac
 
 dnl Correction d'un problème de compilation pour GNUplot 5.0.0
 ac_configure_args="$ac_configure_args --disable-wxwidgets"
+dnl Correction d'un problème d'ABI avec readline
+ac_configure_args="$ac_configure_args \
+		--with-abi-version=5.9 --with-rel-version=5.9"
 
 case $OS in
     OS2)