gnome-extension-manager: 0.6.1 -> 0.6.3 (#407808)

This commit is contained in:
Wolfgang Walther 2025-06-01 12:49:04 +00:00 committed by GitHub
commit 1fac3e4cd9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -25,13 +25,13 @@
stdenv.mkDerivation rec {
pname = "gnome-extension-manager";
version = "0.6.1";
version = "0.6.3";
src = fetchFromGitHub {
owner = "mjakeman";
repo = "extension-manager";
rev = "v${version}";
hash = "sha256-0AK7wU04gQCS/3FvoAwAEmaP/jC23EduOSRncLjt4l8=";
hash = "sha256-d9MmDDtxRDw+z5DqtnsKAWf5fw62CPkhrkGILiVjtzM=";
};
nativeBuildInputs = [