Merge pull request #228857 from bobby285271/upd/xfce

xfce.xfce4-whiskermenu-plugin: 2.7.2 -> 2.7.3
This commit is contained in:
Bobby Rong 2023-04-30 08:41:19 +08:00 committed by GitHub
commit 84e71669ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -3,10 +3,10 @@
mkXfceDerivation {
category = "panel-plugins";
pname = "xfce4-whiskermenu-plugin";
version = "2.7.2";
version = "2.7.3";
rev-prefix = "v";
odd-unstable = false;
sha256 = "sha256-yp8NpBVgqEv34qmDMKPdy53awgSLtYfeaw1JrxENFps=";
sha256 = "sha256-F2mp3b1HBvI2lvwGzuE9QsqotLWgsP0NRyORrTV9FJs=";
nativeBuildInputs = [ cmake ];