workspace(name = "platforms")