git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4458 from jfdm/stack-lts
02f0ec3Jan de Muijnck-Hughes
stack.yaml+1−1
compare with master
unifiedsplit
@@ -1,5 +1,5 @@
1#recheck extra-deps next on resolver or cabal file change
1#recheck extra-deps next on resolver or cabal file change
2−resolver: lts-11.3
2+resolver: lts-11.11
3
3
4packages:
4packages:
5 - location: .
5 - location: .