git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4326 from jfdm/lts-10.4
a47ec34Ahmad Salim Al-Sibahi
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-10.0
2+resolver: lts-10.4
3
3
4packages:
4packages:
5 - location: .
5 - location: .