[submodule "seal/SEAL"]
	path = seal/SEAL
	url = git@github.com:microsoft/SEAL.git