Dependencies for idris-0.9.2.1

idris