[submodule "std"]
	path = std
	url = git@github.com:koka-community/std.git