Merge pull request #228677 from flokli/pop-shell-bump

gnomeExtensions.pop-shell: unstable-2023-04-05 -> unstable-2023-04-27
This commit is contained in:
piegames 2023-04-28 15:24:10 +02:00 committed by GitHub
commit 4452d55f8e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-pop-shell";
version = "unstable-2023-04-05";
version = "unstable-2023-04-27";
src = fetchFromGitHub {
owner = "pop-os";
repo = "shell";
rev = "a3a1b7bb832838fec2ea875954d33443fc680912";
hash = "sha256-B82UKtJRDDejBX1UBBIjPRO8rzHNapJRi8wv6dT7oJ8=";
rev = "b5acccefcaa653791d25f70a22c0e04f1858d96e";
hash = "sha256-w6EBHKWJ4L3ZRVmFqZhCqHGumbElQXk9udYSnwjIl6c=";
};
nativeBuildInputs = [ glib nodePackages.typescript gjs ];