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

Updated to latest LTS Haskell

Browse Source
This commit is contained in:
Jan de Muijnck-Hughes 2017-03-27 12:22:30 +01:00
parent 937c707da4
commit a11b18789f
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-8_4.ghc;
resolver = haskell.packages.lts-8_06.ghc;
native_libs = [
libffi

2
stack.yaml
View File

@ -1,4 +1,4 @@
resolver: lts-8.04
resolver: lts-8.06
packages:
- location: .