diff options
author | Ben Siraphob <bensiraphob@gmail.com> | 2021-07-19 20:26:56 +0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-19 20:26:56 +0700 |
commit | 1b6bf36bba3554763e6d8f35ed62fb447e4fbfbb (patch) | |
tree | bdc8c6f44ca62089e6f50f5b020f2a1b948bef25 | |
parent | 048ac668881f862c92ff715d9ef5f6e19da85e13 (diff) | |
parent | 471826cc0f358638697193bfff6dd7cb7490d9e0 (diff) | |
download | nixlib-1b6bf36bba3554763e6d8f35ed62fb447e4fbfbb.tar nixlib-1b6bf36bba3554763e6d8f35ed62fb447e4fbfbb.tar.gz nixlib-1b6bf36bba3554763e6d8f35ed62fb447e4fbfbb.tar.bz2 nixlib-1b6bf36bba3554763e6d8f35ed62fb447e4fbfbb.tar.lz nixlib-1b6bf36bba3554763e6d8f35ed62fb447e4fbfbb.tar.xz nixlib-1b6bf36bba3554763e6d8f35ed62fb447e4fbfbb.tar.zst nixlib-1b6bf36bba3554763e6d8f35ed62fb447e4fbfbb.zip |
Merge pull request #129932 from r-ryantm/auto-update/gnome-shell-extension-arcmenu
gnomeExtensions.arcmenu: 10 -> 12
-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 f9c49111f529..2720026357d2 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 = "10"; + version = "12"; src = fetchFromGitLab { owner = "arcmenu"; repo = "ArcMenu"; rev = "v${version}"; - sha256 = "04kn3gnjz1wakp0pyiwm0alf0pwsralhis36miif9i6l5iv6a394"; + sha256 = "sha256-R1OUDf/YMyMlxwXM9rNsrasPumHEoYhJK0evnYGeIkA="; }; patches = [ |