From ea6fe6084b452aae768a9e025738a4984e2f8da7 Mon Sep 17 00:00:00 2001 From: Gabriel Arazas Date: Sun, 16 Jan 2022 18:19:38 +0800 Subject: [PATCH] gnome-shell-extension-fly-pie: 12 -> 13 --- pkgs/gnome-shell-extension-fly-pie.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/gnome-shell-extension-fly-pie.nix b/pkgs/gnome-shell-extension-fly-pie.nix index ac69f371..b178c8c8 100644 --- a/pkgs/gnome-shell-extension-fly-pie.nix +++ b/pkgs/gnome-shell-extension-fly-pie.nix @@ -8,7 +8,7 @@ # Please refer to the `pkgs/desktops/gnome/extensions/{extensions.json,extensionRenames.nix}` in the future to check. stdenv.mkDerivation rec { pname = "gnome-shell-extension-fly-pie"; - version = "12"; + version = "13"; src = fetchFromGitHub { owner = "Schneegans";