2024-04-15 14:54:23 -04:00
|
|
|
collection = "nightly-240413"
|
2023-03-02 13:51:25 -05:00
|
|
|
|
|
|
|
|
[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"
|
2024-04-14 14:47:59 -04:00
|
|
|
|
|
|
|
|
[custom.all.quox-golden-tests]
|
|
|
|
|
type = "local"
|
|
|
|
|
path = "./golden-tests"
|
|
|
|
|
ipkg = "quox-golden-tests.ipkg"
|
