gmp-5.x: update from 5.0.5 to 5.1.0

This commit is contained in:
Peter Simons 2013-01-04 20:38:11 +01:00
parent ee3f45d1db
commit 796b5e3c9f
2 changed files with 3 additions and 3 deletions

View File

@ -1,11 +1,11 @@
{ stdenv, fetchurl, m4, cxx ? true }:
stdenv.mkDerivation rec {
name = "gmp-5.0.5";
name = "gmp-5.1.0";
src = fetchurl {
url = "mirror://gnu/gmp/${name}.tar.bz2";
sha256 = "1jfymbr90mpn0zw5sg001llqnvf2462y77vgjknrmfs1rjn8ln0z";
sha256 = "15n7xxgasbxdch8ii8z9ic6fxc2ysk3q8iavf55abjp5iylspnfz";
};
patches = [ ./ignore-bad-cpuid.patch ];

View File

@ -3754,7 +3754,7 @@ let
# The GHC bootstrap binaries link against libgmp.so.3, which is in GMP 4.x.
gmp4 = callPackage ../development/libraries/gmp/4.3.2.nix { };
gmp5 = callPackage ../development/libraries/gmp/5.0.5.nix { };
gmp5 = callPackage ../development/libraries/gmp/5.1.0.nix { };
gobjectIntrospection = callPackage ../development/libraries/gobject-introspection { };