[submodule "lake"]
        path = src/lake
        url = https://github.com/leanprover/lake.git
        ignore = untracked