Merge pull request #34287 from ericsagnes/pkg-update/j4-dmenu-desktop

j4-dmenu-desktop: 2.15 -> 2.16
This commit is contained in:
adisbladis 2018-01-26 23:24:06 +08:00 committed by GitHub
commit dd9228a3a6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
name = "j4-dmenu-desktop-${version}";
version = "2.15";
version = "2.16";
src = fetchFromGitHub {
owner = "enkore";
repo = "j4-dmenu-desktop";
rev = "r${version}";
sha256 = "1yn45i3hpim2hriaqkq7wmawwsmkynvy2xgz7dg6p5r0ikw5bn1r";
sha256 = "0714cri8bwpimmiirhzrkbri4xi24k0za6i1aw94d3fnblk2dg9f";
};
postPatch = ''