JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #33789 from romildo/upd.jgmenu

Browse Source 
jgmenu: 0.7.6 -> 0.8
This commit is contained in:
Jörg Thalheim 2018-01-13 12:32:47 +00:00 committed by GitHub
commit c6a8e52c8a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/applications/misc/jgmenu/default.nix
View File

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