Merge #166485: gnomeExtensions.pop-shell: 2022-01-14 -> 2022-03-25

main
piegames 2 years ago committed by GitHub
commit 1dfe42f57c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 6
      pkgs/desktops/gnome/extensions/pop-shell/default.nix

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-pop-shell";
version = "unstable-2022-01-14";
version = "unstable-2022-03-25";
src = fetchFromGitHub {
owner = "pop-os";
repo = "shell";
rev = "21745c4a8076ad52c9ccc77ca5726f5c7b83de6c";
sha256 = "sha256-d6NRNbTimwtGVLhcpdFD1AuignVii/xi3YtMWzkS/v0=";
rev = "a317816d02dd2cb20d31aeca81bf09eccc63e370";
hash = "sha256-uxoeCv25ew5+NkTpsKjQqDFrqw6ZA/+iYhyCHoCb6jM=";
};
nativeBuildInputs = [ glib nodePackages.typescript gjs ];

Loading…
Cancel
Save