gnome-shell-extension-fly-pie: 17 -> 20

This commit is contained in:
Gabriel Arazas 2023-05-09 15:10:44 +08:00
parent ccaaf760d6
commit 63e33cdc7d
No known key found for this signature in database
GPG Key ID: ADE0C41DAB221FCC

View File

@ -8,13 +8,13 @@
# Please refer to the `pkgs/desktops/gnome/extensions/{extensions.json,extensionRenames.nix}` in the future to check. # Please refer to the `pkgs/desktops/gnome/extensions/{extensions.json,extensionRenames.nix}` in the future to check.
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "gnome-shell-extension-fly-pie"; pname = "gnome-shell-extension-fly-pie";
version = "17"; version = "20";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "Schneegans"; owner = "Schneegans";
repo = "Fly-Pie"; repo = "Fly-Pie";
rev = "v${version}"; rev = "v${version}";
sha256 = "sha256-fHMC3aj2TrNEET5dSd1/wKuJ/9jwTbWU+FvcJR7F00U="; sha256 = "sha256-ou6bIf/NWxZsrU1Eoy7bQCbA11jZBuHcfIoyjUJ/Sa8=";
}; };
nativeBuildInputs = [ glib gettext ]; nativeBuildInputs = [ glib gettext ];