From b344d0aa4ed40f23a8ea5279e71ce97aa7406ab7 Mon Sep 17 00:00:00 2001 From: Gabriel Arazas Date: Mon, 19 Jun 2023 16:53:38 +0800 Subject: [PATCH] gnome-extension-manager: 0.4.1 -> 0.4.2 --- 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 fd85333ba44d..1dfa17981e89 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.1"; + version = "0.4.2"; src = fetchFromGitHub { owner = "mjakeman"; repo = "extension-manager"; rev = "v${version}"; - sha256 = "sha256-6LZaDNkWI/zaWAy+Rfp3DwYpnprxcbcZA7DOwaiBmt0="; + hash = "sha256-AQdYZsOaTk+EX1bi/kDI2GcVfu7ZKIyrFpNf/fRcJmo="; }; nativeBuildInputs = [