[submodule "lib/libflint"]
	path = lib/libflint
	url = git@git.fputs.com:fputs/libflint