[submodule "lib/CompCert"]
	path = lib/CompCert
	url = https://github.com/ymherklotz/CompCert.git
[submodule "lib/cohpred"]
	path = lib/cohpred
	url = https://git.sr.ht/~ymherklotz/cohpred