diff options
author | piegames <git@piegames.de> | 2022-03-11 12:21:01 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-11 12:21:01 +0100 |
commit | 0ff66591e46ae23c0ce80d93ced53d7739213ade (patch) | |
tree | 9e2b5af50f4994c7249bf1b7d63cd2bb4ce63c69 /pkgs/desktops | |
parent | 94eeeaa1550c1b77db24b3865522215589d99a79 (diff) | |
parent | 5e6e647dc11253051665f74a5b2669f90f818f5c (diff) | |
download | nixpkgs-0ff66591e46ae23c0ce80d93ced53d7739213ade.tar nixpkgs-0ff66591e46ae23c0ce80d93ced53d7739213ade.tar.gz nixpkgs-0ff66591e46ae23c0ce80d93ced53d7739213ade.tar.bz2 nixpkgs-0ff66591e46ae23c0ce80d93ced53d7739213ade.tar.lz nixpkgs-0ff66591e46ae23c0ce80d93ced53d7739213ade.tar.xz nixpkgs-0ff66591e46ae23c0ce80d93ced53d7739213ade.tar.zst nixpkgs-0ff66591e46ae23c0ce80d93ced53d7739213ade.zip |
Merge pull request #162668: gnomeExtensions.arcmenu: 23 -> 24
Diffstat (limited to 'pkgs/desktops')
-rw-r--r-- | pkgs/desktops/gnome/extensions/arcmenu/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/desktops/gnome/extensions/arcmenu/default.nix b/pkgs/desktops/gnome/extensions/arcmenu/default.nix index d0df6634240..7bc997a4bf1 100644 --- a/pkgs/desktops/gnome/extensions/arcmenu/default.nix +++ b/pkgs/desktops/gnome/extensions/arcmenu/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "gnome-shell-extension-arcmenu"; - version = "23"; + version = "24"; src = fetchFromGitLab { owner = "arcmenu"; repo = "ArcMenu"; rev = "v${version}"; - sha256 = "sha256-i/sXAZhNbbVbKdCJ3k9kRAEY9iC5iSNq4YtjiiOqHTM="; + sha256 = "sha256-GbZt6JC+uAPkb4GU1Q7WRJ6Pf95Uh48cYwvoTgLimHs="; }; patches = [ |