Merge pull request #147117 from VergeDX/arcmenu

authored by piegames and committed by GitHub 9c1e0e02 7dfea718

+2 -2
+2 -2
pkgs/desktops/gnome/extensions/arcmenu/default.nix
··· 2 3 stdenv.mkDerivation rec { 4 pname = "gnome-shell-extension-arcmenu"; 5 - version = "14"; 6 7 src = fetchFromGitLab { 8 owner = "arcmenu"; 9 repo = "ArcMenu"; 10 rev = "v${version}"; 11 - sha256 = "sha256-Iobu5eNWSvAiTRe6wyx/0PgUtB9QIC9KdH0M1xhsM1I="; 12 }; 13 14 patches = [
··· 2 3 stdenv.mkDerivation rec { 4 pname = "gnome-shell-extension-arcmenu"; 5 + version = "19"; 6 7 src = fetchFromGitLab { 8 owner = "arcmenu"; 9 repo = "ArcMenu"; 10 rev = "v${version}"; 11 + sha256 = "sha256-GEeONrrH00Tt9tuxhH7Gv5lSZ2D/hFgeGbUstqJsWZo="; 12 }; 13 14 patches = [