Unverified Commit 85340996 authored by Bobby Rong's avatar Bobby Rong Committed by GitHub
Browse files

Merge pull request #230265 from foo-dogsquared/update-extension-manager

gnome-extension-manager: 0.4.0 -> 0.4.1
parents 0d144d9d 0e1efc22
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
@@ -22,13 +22,13 @@

stdenv.mkDerivation rec {
  pname = "gnome-extension-manager";
  version = "0.4.0";
  version = "0.4.1";

  src = fetchFromGitHub {
    owner = "mjakeman";
    repo = "extension-manager";
    rev = "v${version}";
    sha256 = "sha256-M+jMEJXtzUP6dQp9vpyMhh1wuKG9YJ8i0ys92nbmmpw=";
    sha256 = "sha256-6LZaDNkWI/zaWAy+Rfp3DwYpnprxcbcZA7DOwaiBmt0=";
  };

  nativeBuildInputs = [