[submodule "tests/ethereum-tests"]
	path = tests/ethereum-tests
	url = https://github.com/ethereum/tests.git
	branch = develop
	ignore = untracked
[submodule "deps/k"]
	path = deps/k
	url = https://github.com/kframework/k
	ignore = untracked
[submodule "deps/secp256k1"]
	path = deps/secp256k1
	url = https://github.com/bitcoin-core/secp256k1
	ignore = untracked
[submodule "deps/pandoc-tangle"]
	path = deps/pandoc-tangle
	url = https://github.com/ehildenb/pandoc-tangle
	ignore = untracked
[submodule "deps/plugin"]
	path = deps/plugin
	url = https://github.com/runtimeverification/blockchain-k-plugin
	ignore = untracked
[submodule "deps/metropolis"]
	path = deps/metropolis
	url = https://github.com/matze/mtheme
[submodule "deps/libff"]
	path = deps/libff
	url = https://github.com/scipr-lab/libff
	ignore = untracked
[submodule "deps/proxygen"]
	path = deps/proxygen
	url = https://github.com/facebook/proxygen.git
	ignore = untracked