[submodule "mps"]
	path = mps
	url = ../mps.git
