Dependencies for idris-0.1.7

library
idris