diff options
author | Vladimír Čunát <v@cunat.cz> | 2020-07-26 09:16:19 +0200 |
---|---|---|
committer | Vladimír Čunát <v@cunat.cz> | 2020-07-26 09:18:52 +0200 |
commit | b49e7987632e4c7ab3a093fdfc433e1826c4b9d7 (patch) | |
tree | 24c239d4758af1557d18ae0d6e20fa4e4859b294 /pkgs/desktops/pantheon | |
parent | 81328ea94ec7feef419cd7c3cc1d9ced47a1482d (diff) |
pantheon.gala: fix build by using older vala
The build got broken by minor vala update in PR #92592.
I haven't tried to understand the problem, hopefully it will be OK.
Diffstat (limited to 'pkgs/desktops/pantheon')
-rw-r--r-- | pkgs/desktops/pantheon/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/desktops/pantheon/default.nix b/pkgs/desktops/pantheon/default.nix index edcda8877544..13fd871b64f8 100644 --- a/pkgs/desktops/pantheon/default.nix +++ b/pkgs/desktops/pantheon/default.nix @@ -87,6 +87,7 @@ lib.makeScope pkgs.newScope (self: with self; { gala = callPackage ./desktop/gala { inherit (gnome3) gnome-desktop; + vala = pkgs.vala_0_46; }; wingpanel = callPackage ./desktop/wingpanel { }; |