--- rpl/configure.ac 2016/09/22 15:26:45 1.162 +++ rpl/configure.ac 2016/09/26 13:11:28 1.163 @@ -28,7 +28,7 @@ MPFR=mpfr-3.1.4 MPFI=mpfi-1.5.1 NTL=ntl-5.5.2 COCOA=CoCoALib-0.9950 -PARI=pari-2.5.4 +PARI=pari-2.7.6 GIAC=giac-1.2.2 dnl 32 bits ABI