gnome-shell-extension-fly-pie: 15 -> 16

This commit is contained in:
Gabriel Arazas 2022-03-31 10:00:31 +08:00
parent adc74374b0
commit 84a846e9ef

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 = "15"; version = "16";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "Schneegans"; owner = "Schneegans";
repo = "Fly-Pie"; repo = "Fly-Pie";
rev = "v${version}"; rev = "v${version}";
sha256 = "sha256-sisN+cDdlyytw8DnC69mjJHECAGBH+J4tFuzFcy7k+k="; sha256 = "sha256-B/LoTmNrCz3UygB8FWjYm5fVqeirSitHlyAkYZKVPZY=";
}; };
nativeBuildInputs = [ glib gettext ]; nativeBuildInputs = [ glib gettext ];