gmp5: minor update 5.1.1 -> 5.1.2 and file rename

This commit is contained in:
Vladimír Čunát 2013-06-29 16:19:56 +02:00
parent 99b83b397f
commit 11e380a937
2 changed files with 4 additions and 4 deletions

View file

@ -1,11 +1,11 @@
{ stdenv, fetchurl, m4, cxx ? true }:
stdenv.mkDerivation rec {
name = "gmp-5.1.1";
name = "gmp-5.1.2";
src = fetchurl { # we need to use bz2, others aren't in bootstrapping stdenv
urls = [ "mirror://gnu/gmp/${name}.tar.bz2" "ftp://ftp.gmplib.org/pub/${name}/${name}.tar.bz2" ];
sha256 = "1bdgf04k2i12pfivxgjq68iarz3ngix9hpzbmkgijrdk92gpgm50";
sha256 = "13qv3ihk3ykbh2fkb4z8m0q188y3hq1amsj25fn5hgpgckmdx690";
};
nativeBuildInputs = [ m4 ];

View file

@ -4024,9 +4024,9 @@ 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.1.1.nix { };
gmp5 = gmp51;
gmp51 = callPackage ../development/libraries/gmp/5.1.1.nix { };
gmp51 = callPackage ../development/libraries/gmp/5.1.x.nix { };
gobjectIntrospection = callPackage ../development/libraries/gobject-introspection { };