[submodule "lib/CompCert"]
	path = lib/CompCert
	url = https://github.com/ymherklotz/CompCert.git
[submodule "docs"]
	path = docs
	url = https://github.com/ymherklotz/vericert-docs