diff options
| author | worldofpeace <worldofpeace@protonmail.ch> | 2019-10-10 19:19:33 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-10 19:19:33 +0000 |
| commit | dbe6e52150688fcea041e9d827893a531d2f78b6 (patch) | |
| tree | c44ae7bc7a62423b15d5034a570e99195a382f63 /pkgs/desktops/gnome-3/extensions | |
| parent | 6cee5a9e0272b42276d7fad63546ccf7b828f0c5 (diff) | |
| parent | 209e90b41e036ab631e610d19f812fe4233a2d6a (diff) | |
| download | nixlib-dbe6e52150688fcea041e9d827893a531d2f78b6.tar nixlib-dbe6e52150688fcea041e9d827893a531d2f78b6.tar.gz nixlib-dbe6e52150688fcea041e9d827893a531d2f78b6.tar.bz2 nixlib-dbe6e52150688fcea041e9d827893a531d2f78b6.tar.lz nixlib-dbe6e52150688fcea041e9d827893a531d2f78b6.tar.xz nixlib-dbe6e52150688fcea041e9d827893a531d2f78b6.tar.zst nixlib-dbe6e52150688fcea041e9d827893a531d2f78b6.zip | |
Merge pull request #70533 from worldofpeace/arc-menu-33
gnomeExtensions.arc-menu: 33.2 -> 33
Diffstat (limited to 'pkgs/desktops/gnome-3/extensions')
| -rw-r--r-- | pkgs/desktops/gnome-3/extensions/arc-menu/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix b/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix index cb1fa70d6819..f85b91d354d4 100644 --- a/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix +++ b/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "gnome-shell-arc-menu"; - version = "33.2"; + version = "33"; src = fetchFromGitLab { owner = "LinxGem33"; repo = "Arc-Menu"; - rev = "v${version}-dev"; - sha256 = "1dd9ysiyza6drwdv4qcxyijy7yijirjf2fd1aq5jv8s4bqajcqf4"; + rev = "v${version}-Stable"; + sha256 = "0ncb19jlwy2y9jcj8g6cdbasdv6n7hm96qv9l251z6qgrmg28x4z"; }; patches = [ |