--- rpl/Attic/configure 2011/06/22 13:26:55 1.60 +++ rpl/Attic/configure 2011/06/24 15:59:06 1.61 @@ -3251,7 +3251,7 @@ MPFR=mpfr-3.0.1 NTL=ntl-5.5.2 COCOA=CoCoALib-0.9943 PARI=pari-2.3.5 -GIAC=giac-0.9.2 +GIAC=giac-0.9.1 ac_ext=c ac_cpp='$CPP $CPPFLAGS'