4bf2dd38cd
git-subtree-dir: common-lean git-subtree-mainline:bd2e14214dgit-subtree-split:a0b719e170
18 lines
265 B
TOML
18 lines
265 B
TOML
name = "common-lean"
|
|
version = "0.1.0"
|
|
defaultTargets = ["Common"]
|
|
|
|
[[require]]
|
|
name = "golang-lean"
|
|
path = "../golang-lean"
|
|
|
|
[[require]]
|
|
name = "octive-lean"
|
|
path = "../octive-lean"
|
|
|
|
[[require]]
|
|
name = "tsm-lean"
|
|
path = "../tsm-lean"
|
|
|
|
[[lean_lib]]
|
|
name = "Common"
|