[submodule "picnic-sys/Picnic"]
	path = picnic-sys/Picnic
	url = https://github.com/IAIK/Picnic.git
