Content - b7e127d822e771c2b7719edf24cc90f6b7f6eab3 - 57c6906/.gitmodules

visit type:

Tip revision: b3bc1a1ec08260a6c19d752095c71e31134180e0 authored by Nikhil Swamy on 21 August 2017, 05:36:07 UTC
3 errors remain, but some surprising hint failures

Tip revision: b3bc1a1

.gitmodules

[submodule "dependencies/FStar"]
	path = dependencies/FStar
	url = https://github.com/FStarLang/FStar.git
[submodule "dependencies/kremlin"]
	path = dependencies/kremlin
	url = https://github.com/FStarLang/kremlin.git
[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

Browse the archive

https://github.com/project-everest/hacl-star