cryptol/.gitmodules

[submodule "examples/cryptol-specs"]
	path = examples/cryptol-specs
	url = https://github.com/GaloisInc/cryptol-specs.git
[submodule "deps/argo"]
	path = deps/argo
	url = https://github.com/galoisinc/argo
Add cryptol-specs as git submodule under /examples. 2019-03-02 05:05:28 +03:00			`[submodule "examples/cryptol-specs"]`
			`path = examples/cryptol-specs`
Update path for cryptol-specs in .gitmodules 2019-03-11 22:13:08 +03:00			`url = https://github.com/GaloisInc/cryptol-specs.git`
Revert "Revert "Include `cryptol-remote-api` in Cryptol builds (#890)"" This reverts commit f0483684081711e1f698e1d7c933395f74d57eb4. 2020-09-30 01:35:29 +03:00			`[submodule "deps/argo"]`
			`path = deps/argo`
			`url = https://github.com/galoisinc/argo`