diff options
| -rw-r--r-- | pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix b/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix index 4e7fa17d495c..4b5a47e61118 100644 --- a/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix +++ b/pkgs/desktops/gnome-3/extensions/drop-down-terminal/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, substituteAll, gjs, vte }: +{ stdenv, fetchFromGitHub, substituteAll, gjs, vte, gnome3 }: stdenv.mkDerivation rec { pname = "gnome-shell-extension-drop-down-terminal"; @@ -30,5 +30,7 @@ stdenv.mkDerivation rec { license = licenses.gpl3; maintainers = with maintainers; [ ericdallo ]; homepage = https://github.com/zzrough/gs-extensions-drop-down-terminal; + # Doesn't support 3.36 + broken = stdenv.lib.versionAtLeast gnome3.gnome-shell.version "3.34"; }; } |