Dependencies for idris-0.1.3.1

library
idris