git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4604 from tuncer/patch-1
47e63f3Niklas Larsson
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.14
2+resolver: lts-12.21
3
3
4packages:
4packages:
5 - location: .
5 - location: .