[project]
name = "Theodosius"

[target.Theodosius]
type = "static"