--- rpl/configure.ac 2015/12/13 22:55:00 1.141 +++ rpl/configure.ac 2015/12/14 13:56:10 1.142 @@ -23,7 +23,7 @@ LIBXPM=libXpm-3.5.9 SIGSEGV=libsigsegv-2.11 ZLIB=zlib-1.2.8 -GMP=gmp-6.0.0 +GMP=gmp-6.1.0 MPFR=mpfr-3.1.3 MPFI=mpfi-1.5.1 NTL=ntl-5.5.2