--- rpl/configure.ac	2013/02/22 19:51:00	1.55
+++ rpl/configure.ac	2013/02/27 17:11:39	1.57
@@ -1,5 +1,5 @@
 dnl Process this file with autoconf to produce a configure script.
-AC_INIT([rpl],[4.1.12])
+AC_INIT([rpl],[4.1.13])
 AC_CANONICAL_TARGET
 AC_CANONICAL_TARGET
 AM_INIT_AUTOMAKE(silent-rules)
@@ -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