name = "lean-redis"
version = "0.3.0"
defaultTargets = ["LeanRedis"]
testDriver = "LeanRedisTest"

[[lean_lib]]
name = "LeanRedis"

[[lean_lib]]
name = "LeanRedisTest"
globs = ["Test.+"]

[[lean_exe]]
name = "lean-redis-cli"
root = "Cli"