idris2-pack/pack.toml at main · stefan-hoeck/idris2-pack · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
[pack]

commit = "latest:main"

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

[custom.all.pack-admin]
type   = "local"
path   = "."
ipkg   = "pack-admin.ipkg"

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

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

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

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

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