idris-0.9.4: dependencies

Dependencies for idris-0.9.4

idris	base (>=4 && <5) binary bytestring Cabal containers directory filepath haskeline (<0.7) mtl parsec pretty process transformers