The latest version of idris is 1.3.4-0.
test:regression-and-feature-tests
Dependencies
- base lib:base >=0
- bytestring lib:bytestring >=0
- containers lib:containers >=0
- directory lib:directory >=0
- filepath lib:filepath >=0
- haskeline lib:haskeline >=0.7
- idris lib:idris >=0
- optparse-applicative lib:optparse-applicative >=0.13 && <0.15
- process lib:process >=0
- tagged lib:tagged >=0
- tasty lib:tasty >=0.8
- tasty-golden lib:tasty-golden >=2.0
- tasty-rerun lib:tasty-rerun >=1.0.0
- time lib:time >=0
- transformers lib:transformers >=0
Reverse dependencies
None.