on master help sign in
Fix fingertree bounds to < 0.1.2
commitfcd26772100bdf94192844f87e865f0c05cb0fb8 authorAhmad Salim Al-Sibahi <asal@itu.dk> dateTue 3 Oct 2017, 15:28 (9 years ago) parentf70b942
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