diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2013-06-29 16:19:56 +0200 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2013-06-30 08:59:29 +0200 |
| commit | 11e380a937ea8416a38c2e10e228c3054f5cd6b2 (patch) | |
| tree | 33f964a11293af0be6ed542c0623ba91b38cf66b /pkgs/development/libraries/gmp | |
| parent | 99b83b397f1221cadc336052e30e9503f511381d (diff) | |
| download | nixpkgs-11e380a937ea8416a38c2e10e228c3054f5cd6b2.tar nixpkgs-11e380a937ea8416a38c2e10e228c3054f5cd6b2.tar.gz nixpkgs-11e380a937ea8416a38c2e10e228c3054f5cd6b2.tar.bz2 nixpkgs-11e380a937ea8416a38c2e10e228c3054f5cd6b2.tar.lz nixpkgs-11e380a937ea8416a38c2e10e228c3054f5cd6b2.tar.xz nixpkgs-11e380a937ea8416a38c2e10e228c3054f5cd6b2.tar.zst nixpkgs-11e380a937ea8416a38c2e10e228c3054f5cd6b2.zip | |
gmp5: minor update 5.1.1 -> 5.1.2 and file rename
Diffstat (limited to 'pkgs/development/libraries/gmp')
| -rw-r--r-- | pkgs/development/libraries/gmp/5.1.x.nix (renamed from pkgs/development/libraries/gmp/5.1.1.nix) | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/gmp/5.1.1.nix b/pkgs/development/libraries/gmp/5.1.x.nix index 2f9ff516523..4d63f38127d 100644 --- a/pkgs/development/libraries/gmp/5.1.1.nix +++ b/pkgs/development/libraries/gmp/5.1.x.nix @@ -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 ]; |