gnomeExtensions.arcmenu: 14 -> 19

2021-11-23 20:33:01 +08:00
parent cd1f94959b
commit a391439b7b
1 changed files with 2 additions and 2 deletions
@@ -2,13 +2,13 @@

 stdenv.mkDerivation rec {
  pname = "gnome-shell-extension-arcmenu";
-  version = "14";
+  version = "19";

  src = fetchFromGitLab {
    owner = "arcmenu";
    repo = "ArcMenu";
    rev = "v${version}";
-    sha256 = "sha256-Iobu5eNWSvAiTRe6wyx/0PgUtB9QIC9KdH0M1xhsM1I=";
+    sha256 = "sha256-GEeONrrH00Tt9tuxhH7Gv5lSZ2D/hFgeGbUstqJsWZo=";
  };

  patches = [