jgmenu: 0.7.5 -> 0.7.6 (#33079)

This commit is contained in:
José Romildo Malaquias 2017-12-27 19:50:01 -03:00 committed by Graham Christensen
parent ad1a1ee7dd
commit 9fed741776

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "jgmenu-${version}"; name = "jgmenu-${version}";
version = "0.7.5"; version = "0.7.6";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "johanmalm"; owner = "johanmalm";
repo = "jgmenu"; repo = "jgmenu";
rev = "v${version}"; rev = "v${version}";
sha256 = "1gml2g711pr6wakznlxjrlmz8kylkv0ydpvv0jx2y5qczp3rwk3a"; sha256 = "13bmvg9kqjng8jqc3xiif587l05ygk5b3k9xn2lq8yxcwxi9p30v";
}; };
nativeBuildInputs = [ nativeBuildInputs = [