Merge pull request #77099 from r-ryantm/auto-update/jgmenu

jgmenu: 3.5 -> 4.0
This commit is contained in:
José Romildo Malaquias 2020-01-07 08:46:47 -03:00 committed by GitHub
commit 894b056b2f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "jgmenu";
version = "3.5";
version = "4.0";
src = fetchFromGitHub {
owner = "johanmalm";
repo = pname;
rev = "v${version}";
sha256 = "0q0m3sskgmjv28gzvjkphgg3yhwzc9w9fj9i342pibb50impjazy";
sha256 = "1s9291y38k4adc2wqj7plfhj431nf36zs262jm6mmb2fs910ncgv";
};
nativeBuildInputs = [