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

Build Agda and hindent with a recent version of src-exts.

Browse Source
This commit is contained in:
Peter Simons 2014-12-13 12:50:50 +01:00
parent 6ce03b674d
commit 8e2b61c5d3
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/haskell-packages.nix
View File

@ -1208,9 +1208,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
hi = callPackage ../development/libraries/haskell/hi {};
hindent = callPackage ../development/libraries/haskell/hindent {
haskellSrcExts = self.haskellSrcExts_1_15_0_1;
};
hindent = callPackage ../development/libraries/haskell/hindent {};
hint = callPackage ../development/libraries/haskell/hint {};
@ -2963,7 +2961,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
# Compilers.
Agda = callPackage ../development/compilers/agda { haskellSrcExts = self.haskellSrcExts_1_15_0_1; };
Agda = callPackage ../development/compilers/agda {};
epic = callPackage ../development/compilers/epic {};