gnomeExtensions.clipboard-indicator: 34 -> 37
clipboard-indicator has a new release. Most notably, this adds support for GNOME 3.38 and drops support for 3.36 (note that while the extension no longer lists 3.36 as a supported version, it does still work). [Full changelog](https://github.com/Tudmotu/gnome-shell-extension-clipboard-indicator/compare/v34...v37)
This commit is contained in:
parent
4512dac960
commit
3c122da4a5
|
@ -2,13 +2,13 @@
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
pname = "gnome-shell-extension-clipboard-indicator";
|
pname = "gnome-shell-extension-clipboard-indicator";
|
||||||
version = "34";
|
version = "37";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "Tudmotu";
|
owner = "Tudmotu";
|
||||||
repo = "gnome-shell-extension-clipboard-indicator";
|
repo = "gnome-shell-extension-clipboard-indicator";
|
||||||
rev = "v${version}";
|
rev = "v${version}";
|
||||||
sha256 = "0i00psc1ky70zljd14jzr627y7nd8xwnwrh4xpajl1f6djabh12s";
|
sha256 = "0npxhaam2ra2b9zh2gk2q0n5snlhx6glz86m3jf8hz037w920k41";
|
||||||
};
|
};
|
||||||
|
|
||||||
uuid = "clipboard-indicator@tudmotu.com";
|
uuid = "clipboard-indicator@tudmotu.com";
|
||||||
|
|
Loading…
Reference in New Issue