[submodule "src/c"]
	path = src/c
	url = https://github.com/jschanck-si/NTRUMLS.git
