@@ -1,8 +1,8 @@
1with (import <nixpkgs> {});
1with (import <nixpkgs> {});
4− # MUST match resolver in stack.yaml
4+ # MUST match GHC of resolver in stack.yaml
5− resolver = haskell.packages.lts-9_0.ghc;
5+ ghc = haskell.packages.ghc802.ghc;
7 native_libs = [
7 native_libs = [
@@ -19,7 +19,7 @@ in stdenv.mkDerivation {
20 name = "idrisBuildEnv";
20 name = "idrisBuildEnv";
22− buildInputs = [ resolver ] ++ native_libs;
22+ buildInputs = [ ghc ] ++ native_libs;
24 STACK_IN_NIX_EXTRA_ARGS = builtins.foldl'
24 STACK_IN_NIX_EXTRA_ARGS = builtins.foldl'
25 (acc: lib:
25 (acc: lib: