Merge pull request #101939 from jonafato/gnome-shell-extension-clipboard-indicator-37
gnomeExtensions.clipboard-indicator: 34 -> 37
commitcb0be69e443a53957619198651801862cf7738fe
authorJan Tojnar <jtojnar@gmail.com>
dateFri 13 Nov 2020, 02:57 (6 years ago)
parentedda2c23c122da
pkgs/desktops/gnome-3/extensions/clipboard-indicator/default.nix+2−2
@@ -2,13 +2,13 @@
22
33stdenv.mkDerivation rec {
44 pname = "gnome-shell-extension-clipboard-indicator";
5− version = "34";
5+ version = "37";
66
77 src = fetchFromGitHub {
88 owner = "Tudmotu";
99 repo = "gnome-shell-extension-clipboard-indicator";
1010 rev = "v${version}";
11− sha256 = "0i00psc1ky70zljd14jzr627y7nd8xwnwrh4xpajl1f6djabh12s";
11+ sha256 = "0npxhaam2ra2b9zh2gk2q0n5snlhx6glz86m3jf8hz037w920k41";
1212 };
1313
1414 uuid = "clipboard-indicator@tudmotu.com";