Skip to main content

Browse the archive

Revision 2f217542ed5d711578b4340ba5added98ccb9670 authored by Santiago Zanella-Beguelin on 30 October 2018, 10:40:17 UTC, committed by Santiago Zanella-Beguelin on 30 October 2018, 10:40:17 UTC 
Workaround for FStar issue
1 parent 96a03df
Raw File
.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