Merge pull request #189308: gnomeExtensions.arcmenu: 35 -> 37

authored by piegames and committed by GitHub 2d112dfc 9ac9449a

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