Merge pull request #3057 from jfdm/stack-update
Bumped idris to work with latest LTS Haskell release 5.9.
commit3bb24be9002b02ab8b1a45b27c863c799ed2e895
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateThu 24 Mar 2016, 12:15 (11 years ago)
parentadc85d77f5d2e4
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-4_2.ghc;
5+ resolver = haskell.packages.lts-5_9.ghc;
66
77 native_libs = [
88 libffi
stack.yaml+1−1
@@ -1,4 +1,4 @@
1−resolver: lts-5.5
1+resolver: lts-5.9
22
33packages:
44 - '.'