git.iko.soy/Idris-dev
on master help sign in
Bump to LTS 11.3 and fingertree-0.1.4.1
commitb8f34d1d9a18be7112ecc4069d05170ddbfac9a4 authorJoomy Korkut <joomy@cattheory.com> dateSat 7 Apr 2018, 23:00 (9 years ago) parent1a7e2ea
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: .