gnome-extension-manager: 0.3.0 -> 0.3.1

This commit is contained in:
Gabriel Arazas 2022-06-23 17:00:25 +08:00
parent 63a6ba92e6
commit 83e7651236

View File

@ -5,13 +5,13 @@
stdenv.mkDerivation rec {
pname = "gnome-extension-manager";
version = "0.3.0";
version = "0.3.1";
src = fetchFromGitHub {
owner = "mjakeman";
repo = "extension-manager";
rev = "v${version}";
sha256 = "sha256-3mhz3MJC3/Gv841vaR7AMlh8WMxuVBQuHqwRMbbRGLo=";
sha256 = "sha256-DDGQRAPXQkOHUIP3kDPyxSYlT8IjewmqbLHWGZzT5cs=";
};
nativeBuildInputs = [