gnomeExtensions.nohotcorner: 18.0 -> 19.0
v19.0 declares support for gnome 3.32 and includes no other changes. The full change set can be found at https://github.com/HROMANO/nohotcorner/compare/v18.0...v19.0.
This commit is contained in:
parent
d0841f2884
commit
62d0308982
@ -2,13 +2,13 @@
|
|||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
name = "gnome-shell-extension-nohotcorner-${version}";
|
name = "gnome-shell-extension-nohotcorner-${version}";
|
||||||
version = "18.0";
|
version = "19.0";
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
src = fetchFromGitHub {
|
||||||
owner = "HROMANO";
|
owner = "HROMANO";
|
||||||
repo = "nohotcorner";
|
repo = "nohotcorner";
|
||||||
rev = "v${version}";
|
rev = "v${version}";
|
||||||
sha256 = "0vajiys93gs7fs9v6brgf8fplkmh28j103in3wq04l34cx5sqkks";
|
sha256 = "059n4gyz7d686hknaifyjax8gygrda1xab5m15a09p98jdrdfdhi";
|
||||||
};
|
};
|
||||||
|
|
||||||
# Taken from the extension download link at
|
# Taken from the extension download link at
|
||||||
|
Loading…
x
Reference in New Issue
Block a user