[submodule "Magma"]
	path = Magma
	url = https://github.com/AndrewVSutherland/Magma.git