[custom.all.Idris]
type = "local"
path = "."
ipkg = "Idris.ipkg"