Dependencies for idris-0.9.1

idris