idris-lang/Idris-dev
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris-dev.git synced 2024-10-04 01:50:20 +03:00
Code Issues Projects Releases Wiki Activity

Bump Idris' stack settings to use LTS Haskell 6.17.

Browse Source
This commit is contained in:
Jan de Muijnck-Hughes 2016-09-13 11:54:41 +01:00
parent 0d3d2d6679
commit d4a192047f
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
stack-shell.nix
View File

@ -2,7 +2,7 @@ with (import <nixpkgs> {});
let
# MUST match resolver in stack.yaml
resolver = haskell.packages.lts-6_9.ghc;
resolver = haskell.packages.lts-6_17.ghc;
native_libs = [
libffi

2
stack.yaml
View File

@ -1,4 +1,4 @@
resolver: lts-6.9
resolver: lts-6.17
packages:
- location: .