git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4227 from asandroq/use_ghc_822
59c9cd9Ahmad 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: nightly-2017-10-23
2+resolver: nightly-2017-11-25
3
3
4packages:
4packages:
5 - location: .
5 - location: .