diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2016-07-09 16:45:36 +0200 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2016-07-09 16:50:12 +0200 |
| commit | 9d3228f99d653747715c82f0d78fb39e5575bfc0 (patch) | |
| tree | 0d07df918c5ab7fec4ac6f4d7116b4afaf715cfd | |
| parent | 95a9fa0ba0d211e575e5055c52c6024f61650ae3 (diff) | |
| download | nixlib-9d3228f99d653747715c82f0d78fb39e5575bfc0.tar nixlib-9d3228f99d653747715c82f0d78fb39e5575bfc0.tar.gz nixlib-9d3228f99d653747715c82f0d78fb39e5575bfc0.tar.bz2 nixlib-9d3228f99d653747715c82f0d78fb39e5575bfc0.tar.lz nixlib-9d3228f99d653747715c82f0d78fb39e5575bfc0.tar.xz nixlib-9d3228f99d653747715c82f0d78fb39e5575bfc0.tar.zst nixlib-9d3228f99d653747715c82f0d78fb39e5575bfc0.zip | |
gnumake42: bugfix 4.2 -> 4.2.1
| -rw-r--r-- | pkgs/development/tools/build-managers/gnumake/4.2/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/tools/build-managers/gnumake/4.2/default.nix b/pkgs/development/tools/build-managers/gnumake/4.2/default.nix index edb3f841069a..323f33d7d6cc 100644 --- a/pkgs/development/tools/build-managers/gnumake/4.2/default.nix +++ b/pkgs/development/tools/build-managers/gnumake/4.2/default.nix @@ -3,14 +3,14 @@ assert guileSupport -> ( pkgconfig != null && guile != null ); let - version = "4.2"; + version = "4.2.1"; in stdenv.mkDerivation { name = "gnumake-${version}"; src = fetchurl { url = "mirror://gnu/make/make-${version}.tar.bz2"; - sha256 = "0pv5rvz5pp4njxiz3syf786d2xp4j7gzddwjvgw5zmz55yvf6p2f"; + sha256 = "12f5zzyq2w56g95nni65hc0g5p7154033y2f3qmjvd016szn5qnn"; }; patchFlags = "-p0"; |