[submodule "frama-c"]
	path = frama-c
	url = https://git.frama-c.com/pub/frama-c.git