Merge pull request #4326 from jfdm/lts-10.4
Bump Idris to compile against LTS 10.4.
commita47ec34290a979ded7eb0ac2f3a3691b5dba5aef
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateTue 13 Feb 2018, 17:02 (9 years ago)
parente96f3bb575cc50
stack.yaml+1−1
@@ -1,5 +1,5 @@
11#recheck extra-deps next on resolver or cabal file change
2−resolver: lts-10.0
2+resolver: lts-10.4
33
44packages:
55 - location: .