Merge pull request #309633 from r-ryantm/auto-update/gnome-extension-manager

gnome-extension-manager: 0.4.3 -> 0.5.1
This commit is contained in:
Aleksana 2024-05-18 18:42:10 +08:00 committed by GitHub
commit 80665d8fe1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -22,13 +22,13 @@
stdenv.mkDerivation rec {
pname = "gnome-extension-manager";
version = "0.4.3";
version = "0.5.1";
src = fetchFromGitHub {
owner = "mjakeman";
repo = "extension-manager";
rev = "v${version}";
hash = "sha256-e+s8iIUvW9Rw0Wq4aIn3IzBLGTQC6o0TmNXd5gz892Y=";
hash = "sha256-PWpnLtzQDF2Is63CY9bNzYSo+MiA2oxzJi7B4nQZ7v8=";
};
nativeBuildInputs = [