[submodule "software/Certyflie"]
	path = software/Certyflie
	url = git@github.com:AdaCore/Certyflie.git