forked from mirrors/nixpkgs
gnomeExtensions.gnomeExtensions.sound-output-device-chooser: 25 → 28
This commit is contained in:
parent
d7b5e4e264
commit
d4ed177aba
|
@ -7,13 +7,13 @@
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
pname = "gnome-shell-extension-sound-output-device-chooser";
|
pname = "gnome-shell-extension-sound-output-device-chooser";
|
||||||
version = "25";
|
version = "28";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "kgshank";
|
owner = "kgshank";
|
||||||
repo = "gse-sound-output-device-chooser";
|
repo = "gse-sound-output-device-chooser";
|
||||||
rev = version;
|
rev = version;
|
||||||
sha256 = "16xaa4r01575ix9lrvww8n6pird8r3ml1j037b3sm6dfrf8kvzxs";
|
sha256 = "JmDUi6xTMbkMzW+hYJuKtjQj4ERctaiHr6eLsl5Fru4=";
|
||||||
};
|
};
|
||||||
|
|
||||||
patches = [
|
patches = [
|
||||||
|
|
Loading…
Reference in a new issue