[submodule "why3-for-NTP"]
	path = why3-for-NTP
	url = git@github.com:xqyww123/why3-for-NTP.git
