[submodule "flint"]
	path = flint
	url = https://github.com/flintlib/flint.git
