idris-0.9.6: dependencies

Dependencies for idris-0.9.6

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