public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

idris-modules: pkgs.gnome is now pkgs.gnome2.

Browse Source 
Fixes #18998.

Closes #19002.
This commit is contained in:
Shea Levy 2016-09-27 13:52:25 -04:00
parent f3d7afa86d
commit 7bda74f676
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/idris-modules/default.nix
View File

@ -6,7 +6,7 @@
overrideScope = f: callPackageWithScope (mkScope (fix' (extends f scope.__unfix__))) drv args; overrideScope = f: callPackageWithScope (mkScope (fix' (extends f scope.__unfix__))) drv args;
}; };
mkScope = scope : pkgs // pkgs.xorg // pkgs.gnome // scope; mkScope = scope : pkgs // pkgs.xorg // pkgs.gnome2 // scope;
idrisPackages = self: let idrisPackages = self: let
defaultScope = mkScope self; defaultScope = mkScope self;