[submodule "2015/lib/libflint"]
	path = 2015/lib/libflint
	url = https://git.burkey.co/eburk/libflint.git