on master help sign in
Merge pull request #4097 from idris-lang/fix/fingertree-bounds

Fix fingertree bounds to < 0.1.2

commit774b7ff2a52b2f0d7c555baaf0c683d930944b0f authorAhmad Salim Al-Sibahi <asal@itu.dk> dateTue 3 Oct 2017, 16:58 (9 years ago) parentf70b942fcd2677
1 file changed+1−1
idris.cabal+1−1
idris.cabal+1−1
@@ -282,7 +282,7 @@ Library
282282 , deepseq < 1.5
283283 , directory >= 1.2.2.0 && < 1.2.3.0 || > 1.2.3.0
284284 , filepath < 1.5
285− , fingertree >= 0.1 && < 0.2
285+ , fingertree >= 0.1 && < 0.1.2
286286 , haskeline >= 0.7 && < 0.8
287287 , ieee754 >= 0.7 && < 0.9
288288 , mtl >= 2.1 && < 2.3