[submodule "lib/smtcoq"]
	path = lib/smtcoq
	url = git@gitlab.inria.fr:compcertgssa/smtcoq