[submodule "relic"]
	path = relic
	url = https://github.com/jhunkeler/relic.git