diff --git a/pkgs/development/libraries/gmp/5.0.1.nix b/pkgs/development/libraries/gmp/5.0.3.nix
similarity index 91%
rename from pkgs/development/libraries/gmp/5.0.1.nix
rename to pkgs/development/libraries/gmp/5.0.3.nix
index 338debaa81e..be2753c8352 100644
--- a/pkgs/development/libraries/gmp/5.0.1.nix
+++ b/pkgs/development/libraries/gmp/5.0.3.nix
@@ -5,11 +5,11 @@ let
 in
 
 stdenv.mkDerivation rec {
-  name = "gmp-5.0.1";
+  name = "gmp-5.0.3";
 
   src = fetchurl {
     url = "mirror://gnu/gmp/${name}.tar.bz2";
-    sha256 = "1yrr14l6vvhm1g27y8nb3c75j0i4ii4k1gw7ik08safk3zq119m2";
+    sha256 = "dcafe9989c7f332b373e1f766af8e9cd790fc802fdec422a1910a6ef783480e3";
   };
 
   buildNativeInputs = [m4];
@@ -55,7 +55,7 @@ stdenv.mkDerivation rec {
     homepage = http://gmplib.org/;
     license = "LGPLv3+";
 
-    maintainers = [ stdenv.lib.maintainers.ludo ];
+    maintainers = [ stdenv.lib.maintainers.ludo stdenv.lib.maintainers.simons ];
     platforms = stdenv.lib.platforms.all;
   };
 }
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index bee9769e92e..8249ab6d732 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -3632,6 +3632,8 @@ let
         cxx = false;
       };
 
+  gmp5 = callPackage ../development/libraries/gmp/5.0.3.nix { };
+
   gmpxx = appendToName "with-cxx" (gmp.override { cxx = true; });
 
   gobjectIntrospection = callPackage ../development/libraries/gobject-introspection { };