Merge pull request #198816 from romildo/upd.jgmenu

jgmenu: 4.4.0 -> 4.4.1
This commit is contained in:
markuskowa 2022-10-31 21:04:28 +01:00 committed by GitHub
commit d3efb41cd4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -11,17 +11,18 @@
, enableXfcePanelApplet ? false
, xfce
, gtk3
, gitUpdater
}:
stdenv.mkDerivation rec {
pname = "jgmenu";
version = "4.4.0";
version = "4.4.1";
src = fetchFromGitHub {
owner = "johanmalm";
repo = pname;
rev = "v${version}";
sha256 = "sha256-REzrN4tz+cFmKyJeOPOkzjvthsJdY3GButF7RdnzviE=";
sha256 = "sha256-UC92zyuMVjyMLNEOBMElO8wCWYgwWRZAGLEOdTPNMak=";
};
nativeBuildInputs = [
@ -57,6 +58,8 @@ stdenv.mkDerivation rec {
done
'';
passthru.updateScript = gitUpdater { rev-prefix = "v"; };
meta = with lib; {
homepage = "https://github.com/johanmalm/jgmenu";
description = "Small X11 menu intended to be used with openbox and tint2";