[submodule "dependencies/lustre"]
	path = dependencies/lustre
	url = git@github.com:GaloisInc/lustre.git
