From a1749debdbecd07125d6b01abd753279da100322 Mon Sep 17 00:00:00 2001 From: Gabriel Arazas Date: Tue, 12 Dec 2023 10:44:40 +0800 Subject: [PATCH] gnome-extension-manager: 0.4.2 -> 0.4.3 --- pkgs/applications/misc/gnome-extension-manager/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/applications/misc/gnome-extension-manager/default.nix b/pkgs/applications/misc/gnome-extension-manager/default.nix index 1dfa17981e89..9e256e99d883 100644 --- a/pkgs/applications/misc/gnome-extension-manager/default.nix +++ b/pkgs/applications/misc/gnome-extension-manager/default.nix @@ -22,13 +22,13 @@ stdenv.mkDerivation rec { pname = "gnome-extension-manager"; - version = "0.4.2"; + version = "0.4.3"; src = fetchFromGitHub { owner = "mjakeman"; repo = "extension-manager"; rev = "v${version}"; - hash = "sha256-AQdYZsOaTk+EX1bi/kDI2GcVfu7ZKIyrFpNf/fRcJmo="; + hash = "sha256-e+s8iIUvW9Rw0Wq4aIn3IzBLGTQC6o0TmNXd5gz892Y="; }; nativeBuildInputs = [