pack.toml

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

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

[custom.all.linux-examples]
type = "local"
path = "examples"
ipkg = "linux-examples.ipkg"

[custom.all.linux-profile]
type = "local"
path = "profile"
ipkg = "profile.ipkg"

[custom.all.cptr]
type   = "git"
url    = "https://github.com/stefan-hoeck/idris2-cptr"
commit = "latest:main"
ipkg   = "cptr.ipkg"

[custom.all.struct-gen]
type   = "git"
url    = "https://github.com/stefan-hoeck/idris2-cptr"
commit = "latest:main"
ipkg   = "struct-gen/struct-gen.ipkg"

[custom.all.ref1]
type   = "github"
url    = "https://github.com/stefan-hoeck/idris2-ref1"
commit = "latest:main"
ipkg   = "ref1.ipkg"

[custom.all.array]
type   = "github"
url    = "https://github.com/stefan-hoeck/idris2-array"
commit = "latest:main"
ipkg   = "array.ipkg"

[custom.all.bytestring]
type   = "github"
url    = "https://github.com/stefan-hoeck/idris2-bytestring"
commit = "latest:main"
ipkg   = "bytestring.ipkg"