-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
name = "slean"
version = "0.1.0"
defaultTargets = ["slean"]
[[lean_lib]]
name = "Fenwick"
[[lean_exe]]
name = "slean"
root = "Main"
moreLinkArgs = ["-Wl,--unresolved-symbols=ignore-all"]
[[require]]
name = "sqlite"
scope = "BRonen"