gnome-shell-extension-fly-pie: 12 -> 13

This commit is contained in:
Gabriel Arazas 2022-01-16 18:19:38 +08:00
parent def1a4a9a4
commit ea6fe6084b

View File

@ -8,7 +8,7 @@
# 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 = "12"; version = "13";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "Schneegans"; owner = "Schneegans";