git.iko.soy/Idris-dev
on master help sign in
Bump Idris to compile against LTS 10.4.
575cc50Jan 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-10.0
2+resolver: lts-10.4
3
3
4packages:
4packages:
5 - location: .
5 - location: .