Return to configure.ac CVS log | Up to [local] / rpl |
version 1.72, 2013/07/11 11:56:32 | version 1.73, 2013/07/12 07:38:52 |
---|---|
Line 27 GMP=gmp-5.1.2 | Line 27 GMP=gmp-5.1.2 |
MPFR=mpfr-3.1.2 | MPFR=mpfr-3.1.2 |
NTL=ntl-5.5.2 | NTL=ntl-5.5.2 |
COCOA=CoCoALib-0.9950 | COCOA=CoCoALib-0.9950 |
PARI=pari-2.5.1 | PARI=pari-2.5.4 |
GIAC=giac-1.1.0 | GIAC=giac-1.1.0 |
dnl 32 bits ABI | dnl 32 bits ABI |