[submodule "tests/ethereum-tests"]

path = tests/ethereum-tests

url = https://github.com/ethereum/tests.git

branch = develop

ignore = untracked

[submodule "deps/plugin"]

path = kevm-pyk/src/kevm_pyk/kproj/plugin

url = https://github.com/runtimeverification/blockchain-k-plugin

ignore = untracked

[submodule "deps/metropolis"]

path = deps/metropolis

url = https://github.com/matze/mtheme

ignore = untracked

[submodule "web/k-web-theme"]

path = web/k-web-theme

url = https://github.com/runtimeverification/k-web-theme