gnome-extension-manager: 0.4.2 -> 0.4.3

This commit is contained in:
Gabriel Arazas 2023-12-12 10:44:40 +08:00
parent b576bc2681
commit a1749debdb
No known key found for this signature in database
GPG Key ID: ADE0C41DAB221FCC

View File

@ -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 = [