git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3289 from jfdm/lts-haskell-6.9

Bumped Idris to LTS 6.9.

commit6dffa49f99df72ac995bd1ba999a8f188386c587 authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com> dateFri 29 Jul 2016, 13:13 (10 years ago) parent9dcbdc90c8a486
2 files changed+2−2
compare with master
unifiedsplit
stack-shell.nix+1−1 stack.yaml+1−1
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_4.ghc;
5+ resolver = haskell.packages.lts-6_9.ghc;
66
77 native_libs = [
88 libffi
stack.yaml+1−1
@@ -1,4 +1,4 @@
1−resolver: lts-6.5
1+resolver: lts-6.9
22
33packages:
44 - location: .