Dependencies for idris-0.1.5

library
idris