[submodule "extern/json"]
	path = extern/json
	url = https://github.com/nlohmann/json.git
[submodule "extern/archspec"]
	path = extern/archspec
	url = https://github.com/archspec/archspec.git
