BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

carefully revert e749f1ef61 and 8f1d256435

Browse source
This commit is contained in:
Jan Malakhovski 2015-08-16 17:24:42 +00:00
parent 8914e1af6d
commit 2f7a75f74a
1 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
pkgs/top-level/all-packages.nix
View file

@ -8512,7 +8512,7 @@ let
agda = callPackage ../build-support/agda {
glibcLocales = if pkgs.stdenv.isLinux then pkgs.glibcLocales else null;
extension = self : super : { };
inherit (haskell.packages.ghc784) Agda;
inherit (haskellPackages) Agda;
inherit writeScriptBin;
};
@ -11287,9 +11287,7 @@ let
};
external = {
# FIXME: revert when Agda and ghc-mod are fixed on 7.10
inherit (haskell.packages.ghc784) ghc-mod Agda;
inherit (haskellPackages) structured-haskell-mode;
inherit (haskellPackages) ghc-mod structured-haskell-mode Agda;
};
};