name = "lean-graphics"
version = "0.1.0"
defaultTargets = ["lean-graphics"]

[[lean_lib]]
name = "LeanGraphics"

[[lean_exe]]
name = "lean-graphics"
root = "Main"