--- rpl/configure.ac	2013/06/21 14:15:50	1.70
+++ rpl/configure.ac	2013/07/05 08:08:32	1.71
@@ -23,7 +23,7 @@ LIBXPM=libXpm-3.5.9
 SIGSEGV=libsigsegv-2.11
 ZLIB=zlib-1.2.7
 
-GMP=gmp-5.1.1
+GMP=gmp-5.1.2
 MPFR=mpfr-3.1.2
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950