name = "debug"

[[lean_exe]]
name = "release"

[[lean_exe]]
name = "debug"
buildType = "debug"