--- rpl/configure.ac	2013/02/22 19:51:00	1.55
+++ rpl/configure.ac	2013/02/22 20:04:38	1.56
@@ -22,7 +22,7 @@ OPENMOTIF=openmotif-2.3.4
 LIBXPM=libXpm-3.5.9
 SIGSEGV=libsigsegv-2.11
 
-GMP=gmp-5.0.5
+GMP=gmp-5.1.1
 MPFR=mpfr-3.1.1
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950