on master help sign in
Merge pull request #4412 from joom/master
9d62d28Niklas Larsson
idris.cabal+1−1
@@ -286,7 +286,7 @@ Library
286 , deepseq < 1.5
286 , deepseq < 1.5
287 , directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0
287 , directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0
288 , filepath < 1.5
288 , filepath < 1.5
289− , fingertree >= 0.1 && < 0.2
289+ , fingertree >= 0.1.4.1 && < 0.2
290 , haskeline >= 0.7 && < 0.8
290 , haskeline >= 0.7 && < 0.8
291 , ieee754 >= 0.7 && < 0.9
291 , ieee754 >= 0.7 && < 0.9
292 , megaparsec >= 6.2
292 , megaparsec >= 6.2
stack.yaml+1−1
@@ -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.4
2+resolver: lts-11.3
3
3
4packages:
4packages:
5 - location: .
5 - location: .