[submodule "lib/libflint"]
	path = lib/libflint
	url = https://git.sr.ht/~fputs/libflint