Bump Idris to compile against LTS 10.4.
commit575cc503b0a9d4a6b8f18b3cb75aa8e24c80ce5f
authorJan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
dateThu 8 Feb 2018, 11:30 (9 years ago)
parent395e8a0
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: .