Merge pull request #162668: gnomeExtensions.arcmenu: 23 -> 24
commit0ff66591e46ae23c0ce80d93ced53d7739213ade
authorpiegames <git@piegames.de>
dateFri 11 Mar 2022, 12:21 (5 years ago)
parent94eeeaa5e6e647
pkgs/desktops/gnome/extensions/arcmenu/default.nix+2−2
@@ -2,13 +2,13 @@
22
33stdenv.mkDerivation rec {
44 pname = "gnome-shell-extension-arcmenu";
5− version = "23";
5+ version = "24";
66
77 src = fetchFromGitLab {
88 owner = "arcmenu";
99 repo = "ArcMenu";
1010 rev = "v${version}";
11− sha256 = "sha256-i/sXAZhNbbVbKdCJ3k9kRAEY9iC5iSNq4YtjiiOqHTM=";
11+ sha256 = "sha256-GbZt6JC+uAPkb4GU1Q7WRJ6Pf95Uh48cYwvoTgLimHs=";
1212 };
1313
1414 patches = [