[submodule "hacl-packages"]
	path = hacl-packages
	url = https://github.com/cryspen/hacl-packages
