Dependencies for idris-0.9.2

idris