https://github.com/project-everest/hacl-star
Raw File
Tip revision: 235b34e83f665ea3d1795475ea2f83cb7c8e9ece authored by Gustavo Varo on 04 September 2018, 15:12:26 UTC
Set kremlin version to stable.
Tip revision: 235b34e
.gitmodules
[submodule "other_providers/vale"]
	path = other_providers/vale
	url = https://github.com/project-everest/vale.git
[submodule "other_providers/libsodium"]
	path = other_providers/libsodium
	url = https://github.com/jedisct1/libsodium.git
[submodule "other_providers/openssl"]
	path = other_providers/openssl
	url = https://github.com/openssl/openssl.git
back to top