--- rpl/configure.ac	2014/05/17 14:06:47	1.93
+++ rpl/configure.ac	2014/05/17 14:28:46	1.94
@@ -23,7 +23,7 @@ LIBXPM=libXpm-3.5.9
 SIGSEGV=libsigsegv-2.11
 ZLIB=zlib-1.2.7
 
-GMP=gmp-6.0.0a
+GMP=gmp-6.0.0
 MPFR=mpfr-3.1.2
 NTL=ntl-5.5.2
 COCOA=CoCoALib-0.9950