git.iko.soy/Idris-dev
on master help sign in
Merge pull request #4412 from joom/master

Bump to LTS 11.3 and fingertree-0.1.4.1

commit9d62d28e38b73390a27021ae61dfc554e0f8e0ae authorNiklas Larsson <metaniklas@gmail.com> dateMon 9 Apr 2018, 00:51 (9 years ago) parentc77938fb8f34d1
2 files changed+2−2
compare with master
unifiedsplit
idris.cabal+1−1 stack.yaml+1−1
idris.cabal+1−1
@@ -286,7 +286,7 @@ Library
286286 , deepseq < 1.5
287287 , directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0
288288 , filepath < 1.5
289− , fingertree >= 0.1 && < 0.2
289+ , fingertree >= 0.1.4.1 && < 0.2
290290 , haskeline >= 0.7 && < 0.8
291291 , ieee754 >= 0.7 && < 0.9
292292 , megaparsec >= 6.2
stack.yaml+1−1
@@ -1,5 +1,5 @@
11#recheck extra-deps next on resolver or cabal file change
2−resolver: lts-10.4
2+resolver: lts-11.3
33
44packages:
55 - location: .