diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2018-09-04 13:06:45 +0200 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2018-09-04 13:06:45 +0200 |
| commit | 1428d00aa4a58095ba510145eb25233591ac6051 (patch) | |
| tree | b4f73764acaeb3c21a70a9c57cca55e59681515c /pkgs/desktops/gnome-3/extensions | |
| parent | e3ee9c098a64deb30e8d9edb180e613b93046f45 (diff) | |
| parent | 6767396e380b39128e5decf30d6cb87481a75490 (diff) | |
| download | nixpkgs-1428d00aa4a58095ba510145eb25233591ac6051.tar nixpkgs-1428d00aa4a58095ba510145eb25233591ac6051.tar.gz nixpkgs-1428d00aa4a58095ba510145eb25233591ac6051.tar.bz2 nixpkgs-1428d00aa4a58095ba510145eb25233591ac6051.tar.lz nixpkgs-1428d00aa4a58095ba510145eb25233591ac6051.tar.xz nixpkgs-1428d00aa4a58095ba510145eb25233591ac6051.tar.zst nixpkgs-1428d00aa4a58095ba510145eb25233591ac6051.zip | |
Merge branch 'master' into staging-next
Hydra: ?compare=1477053
Diffstat (limited to 'pkgs/desktops/gnome-3/extensions')
| -rw-r--r-- | pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix b/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix index f64a0ef3f27..6038443944f 100644 --- a/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix +++ b/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, glib, meson, gettext, ninja }: +{ stdenv, fetchFromGitHub, glib, meson, gettext, ninja, python3 }: stdenv.mkDerivation rec { name = "gnome-shell-extensions-mediaplayer-${version}"; @@ -14,6 +14,7 @@ stdenv.mkDerivation rec { nativeBuildInputs = [ meson ninja + python3 ]; buildInputs = [ glib |