BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Merge pull request #226703: gnomeExtensions.dash-to-dock v79 -> v80

Browse source
This commit is contained in:
piegames 2023-04-18 11:46:54 +02:00 committed by GitHub
commit d0f57e6196
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/desktops/gnome/extensions/dash-to-dock/default.nix
View file

@ -9,14 +9,14 @@
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-dash-to-dock";
version = "79";
version = "80";
# Temporarily switched to commit hash because stable version is buggy.
src = fetchFromGitHub {
owner = "micheleg";
repo = "dash-to-dock";
rev = "extensions.gnome.org-v${version}";
sha256 = "sha256-vqQ9nAa/avae2+0xJ5gApbAU07pawi+R6IEQ9O6DTjs=";
sha256 = "sha256-b9XdLd4tcgp+B8HDlJZXjpJI3x5KE/YwckKd9+VA2Sk=";
};
nativeBuildInputs = [