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

agda: use GHC 7.8.4 for building

This commit is contained in:
Nikolay Amiantov 2015-04-18 00:40:00 +03:00
parent 5eb73dd736
commit 8f1d256435
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/top-level/all-packages.nix
View File

@ -7899,7 +7899,7 @@ let
agda = callPackage ../build-support/agda { agda = callPackage ../build-support/agda {
glibcLocales = if pkgs.stdenv.isLinux then pkgs.glibcLocales else null; glibcLocales = if pkgs.stdenv.isLinux then pkgs.glibcLocales else null;
extension = self : super : { }; extension = self : super : { };
inherit (haskellngPackages) Agda; inherit (haskell-ng.packages.ghc784) Agda;
inherit writeScriptBin; inherit writeScriptBin;
}; };