-
Notifications
You must be signed in to change notification settings - Fork 0
/
pack.toml
51 lines (43 loc) · 1.09 KB
/
pack.toml
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
43
44
45
46
47
48
49
50
51
[custom.all.prim]
type = "local"
path = "."
ipkg = "prim.ipkg"
test = "test/test.ipkg"
[custom.all.prim-test]
type = "local"
path = "test"
ipkg = "test.ipkg"
[custom.all.prim-docs]
type = "local"
path = "docs"
ipkg = "docs.ipkg"
[custom.all.elab-util]
type = "git"
url = "https://github.com/stefan-hoeck/idris2-elab-util"
commit = "latest:main"
ipkg = "elab-util.ipkg"
[custom.all.sop]
type = "git"
url = "https://github.com/stefan-hoeck/idris2-sop"
commit = "latest:main"
ipkg = "sop.ipkg"
[custom.all.pretty-show]
type = "git"
url = "https://github.com/stefan-hoeck/idris2-pretty-show"
commit = "latest:main"
ipkg = "pretty-show.ipkg"
[custom.all.hedgehog]
type = "git"
url = "https://github.com/stefan-hoeck/idris2-hedgehog"
commit = "latest:main"
ipkg = "hedgehog.ipkg"
[custom.all.elab-pretty]
type = "git"
url = "https://github.com/stefan-hoeck/idris2-elab-util"
commit = "latest:main"
ipkg = "elab-pretty.ipkg"
[custom.all.parser]
type = "git"
url = "https://github.com/stefan-hoeck/idris2-parser"
commit = "latest:main"
ipkg = "parser.ipkg"