diff options
| author | Peter Simons <simons@cryp.to> | 2014-12-13 12:50:50 +0100 |
|---|---|---|
| committer | Peter Simons <simons@cryp.to> | 2014-12-13 12:53:45 +0100 |
| commit | 8e2b61c5d359aa8f0c0f13fe016fbb0c6cb36106 (patch) | |
| tree | 804e8bab7df9cd9334e68dba5b9319b67597a8dc /pkgs/top-level/haskell-packages.nix | |
| parent | 6ce03b674d0865be389e5a59f674ea2cff80f9da (diff) | |
| download | nixlib-8e2b61c5d359aa8f0c0f13fe016fbb0c6cb36106.tar nixlib-8e2b61c5d359aa8f0c0f13fe016fbb0c6cb36106.tar.gz nixlib-8e2b61c5d359aa8f0c0f13fe016fbb0c6cb36106.tar.bz2 nixlib-8e2b61c5d359aa8f0c0f13fe016fbb0c6cb36106.tar.lz nixlib-8e2b61c5d359aa8f0c0f13fe016fbb0c6cb36106.tar.xz nixlib-8e2b61c5d359aa8f0c0f13fe016fbb0c6cb36106.tar.zst nixlib-8e2b61c5d359aa8f0c0f13fe016fbb0c6cb36106.zip | |
Build Agda and hindent with a recent version of src-exts.
Diffstat (limited to 'pkgs/top-level/haskell-packages.nix')
| -rw-r--r-- | pkgs/top-level/haskell-packages.nix | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix index 4d4205d203e9..033a63350109 100644 --- a/pkgs/top-level/haskell-packages.nix +++ b/pkgs/top-level/haskell-packages.nix @@ -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 {}; |