The latest version of idris is 1.3.4-0.
exe:idris
Dependencies
- Cabal lib:Cabal >=0
- array lib:array >=0
- base lib:base >=4 && <5
- binary lib:binary >=0
- containers lib:containers >=0
- directory lib:directory >=0
- epic lib:epic >=0.1.6
- haskell98 lib:haskell98 >=0
- ivor lib:ivor >=0.1.14
- mtl lib:mtl >=0
- old-locale lib:old-locale >=0
- old-time lib:old-time >=0
- parsec lib:parsec >=0
- readline lib:readline >=0
Reverse dependencies
None.