exe:idris

Dependencies

• Cabal lib:Cabal >=0
• Win32 lib:Win32 >=0
• ansi-terminal lib:ansi-terminal >=0
• ansi-wl-pprint lib:ansi-wl-pprint >=0
• base lib:base >=4 && <5
• binary lib:binary >=0
• bytestring lib:bytestring >=0
• containers lib:containers >=0
• deepseq lib:deepseq >=0
• directory lib:directory >=1.2 && >=0
• filepath lib:filepath >=0
• haskeline lib:haskeline >=0.7
• language-java lib:language-java >=0.2.6
• libffi lib:libffi >=0 && >=0
• llvm-general lib:llvm-general >=3.3.8 && <3.3.9
• llvm-general-pure lib:llvm-general-pure >=3.3.8 && <3.3.9
• mtl lib:mtl >=0
• network lib:network >=0
• parsers lib:parsers ==0.9
• pretty lib:pretty >=0
• process lib:process >=0
• split lib:split >=0
• text lib:text >=0
• time lib:time >=1.4
• transformers lib:transformers >=0
• trifecta lib:trifecta ==1.1
• unix lib:unix >=0 && >=0 && >=0
• unordered-containers lib:unordered-containers >=0
• utf8-string lib:utf8-string >=0
• vector lib:vector >=0
• vector-binary-instances lib:vector-binary-instances >=0
• xml lib:xml >=0

Reverse dependencies

None.