diff options
| author | Shea Levy <shea@shealevy.com> | 2016-09-27 13:52:25 -0400 |
|---|---|---|
| committer | Shea Levy <shea@shealevy.com> | 2016-09-27 13:52:25 -0400 |
| commit | 7bda74f676ac4e48c39cd1fb8233106f39bcbca2 (patch) | |
| tree | 678240107003612d99ba04999c2ab811609c0d0d /pkgs/development/idris-modules | |
| parent | f3d7afa86d8bda6e0ef8aa9def6475ab5b0e6bf5 (diff) | |
| download | nixlib-7bda74f676ac4e48c39cd1fb8233106f39bcbca2.tar nixlib-7bda74f676ac4e48c39cd1fb8233106f39bcbca2.tar.gz nixlib-7bda74f676ac4e48c39cd1fb8233106f39bcbca2.tar.bz2 nixlib-7bda74f676ac4e48c39cd1fb8233106f39bcbca2.tar.lz nixlib-7bda74f676ac4e48c39cd1fb8233106f39bcbca2.tar.xz nixlib-7bda74f676ac4e48c39cd1fb8233106f39bcbca2.tar.zst nixlib-7bda74f676ac4e48c39cd1fb8233106f39bcbca2.zip | |
idris-modules: pkgs.gnome is now pkgs.gnome2.
Fixes #18998. Closes #19002.
Diffstat (limited to 'pkgs/development/idris-modules')
| -rw-r--r-- | pkgs/development/idris-modules/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/idris-modules/default.nix b/pkgs/development/idris-modules/default.nix index 95ab68c5f42b..3d0ea511e101 100644 --- a/pkgs/development/idris-modules/default.nix +++ b/pkgs/development/idris-modules/default.nix @@ -6,7 +6,7 @@ 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 defaultScope = mkScope self; |