mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-04-13 09:07:29 +00:00
Merge pull request #129932 from r-ryantm/auto-update/gnome-shell-extension-arcmenu
gnomeExtensions.arcmenu: 10 -> 12
This commit is contained in:
commit
1b6bf36bba
@ -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 = [
|
||||
|
Loading…
Reference in New Issue
Block a user