[submodule "lib/libflint"]
	path = lib/libflint
	url = https://gitlab.com/eburk/libflint.git
[submodule "lib/uthash"]
	path = lib/uthash
	url = https://github.com/troydhanson/uthash