--- rpl/configure.ac 2013/07/11 11:56:32 1.72 +++ rpl/configure.ac 2013/07/12 07:38:52 1.73 @@ -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