collection = "nightly-240413"

[custom.all.tap]
type = "git"
url = "https://git.rhiannon.website/rhi/idris2-tap.git"
commit = "latest:main"
ipkg = "tap.ipkg"

[custom.all.quox-lib]
type = "local"
path = "./lib"
ipkg = "quox-lib.ipkg"

[custom.all.quox]
type = "local"
path = "./exe"
ipkg = "quox.ipkg"

[custom.all.quox-tests]
type = "local"
path = "./tests"
ipkg = "quox-tests.ipkg"

[custom.all.quox-golden-tests]
type = "local"
path = "./golden-tests"
ipkg = "quox-golden-tests.ipkg"