gnome-shell-extension-burn-my-windows: 24 -> 31

This commit is contained in:
Gabriel Arazas 2023-05-09 15:14:15 +08:00
parent 63e33cdc7d
commit ca9cc14615
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-burn-my-windows"; pname = "gnome-shell-extension-burn-my-windows";
version = "24"; version = "31";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "Schneegans"; owner = "Schneegans";
repo = "Burn-My-Windows"; repo = "Burn-My-Windows";
rev = "v${version}"; rev = "v${version}";
sha256 = "sha256-O7gk5F+GtX8/NavpCagSW5hBnb+MBzHF3NLzmdNWqtA="; sha256 = "sha256-2UovHCVP2fsAbD87mq5yxOvGGS80ro2cONSVvC+kO8Q=";
}; };
nativeBuildInputs = [ glib gettext ]; nativeBuildInputs = [ glib gettext ];