[custom.all.idris2-dep-graph]
type = "local"
path = "."
ipkg = "idris2-dep-graph.ipkg"
test = "test/test.ipkg"

[custom.all.idris2-dep-graph-test]
type = "local"
path = "test"
ipkg = "test.ipkg"