From 9d3228f99d653747715c82f0d78fb39e5575bfc0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Vladim=C3=ADr=20=C4=8Cun=C3=A1t?= Date: Sat, 9 Jul 2016 16:45:36 +0200 Subject: [PATCH] gnumake42: bugfix 4.2 -> 4.2.1 --- pkgs/development/tools/build-managers/gnumake/4.2/default.nix | 4 ++-- 1 file 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 edb3f841069..323f33d7d6c 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";