Merge pull request #3426 from jfdm/latest-stack
Bump Idris' stack settings to use LTS Haskell 6.17.
commit5aa71c1bf80627a948c05b5340d587c4607de3d8
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateThu 15 Sep 2016, 09:01 (10 years ago)
parenta9bc1a4d4a1920
stack-shell.nix+1−1
@@ -2,7 +2,7 @@ with (import <nixpkgs> {});
22
33let
44 # MUST match resolver in stack.yaml
5− resolver = haskell.packages.lts-6_9.ghc;
5+ resolver = haskell.packages.lts-6_17.ghc;
66
77 native_libs = [
88 libffi
stack.yaml+1−1
@@ -1,4 +1,4 @@
1−resolver: lts-6.9
1+resolver: lts-6.17
22
33packages:
44 - location: .