idris 0.1.3 → 0.1.3.1

raw patch · 1 files changed

+3/−3 lines, 1 filesdep ~ivor

Dependency ranges changed: ivor

Files

• idris.cabal +3/−3

@@ -1,5 +1,5 @@ Name:           idris-Version:        0.1.3+Version:        0.1.3.1 License:        BSD3 License-file:   LICENSE Author:         Edwin Brady@@ -46,7 +46,7 @@         Other-modules:   Paths_idris          Build-depends:   base>=4 && <5, containers, array, parsec, mtl,-                         readline, ivor>=0.1.8, directory, haskell98,+                         readline, ivor>=0.1.10, directory, haskell98,                          old-time, old-locale, binary, epic>=0.1.3                                          Extensions:      MagicHash, UndecidableInstances, OverlappingInstances@@ -61,7 +61,7 @@                               Idris.SimpleCase                 Build-depends:   base>=4 && <5, containers, array, parsec, mtl,-                                readline, ivor>=0.1.8, directory, haskell98,+                                readline, ivor>=0.1.10, directory, haskell98,                                 old-time, old-locale, binary, epic>=0.1.3                                                 Extensions:      MagicHash, UndecidableInstances, OverlappingInstances