[submodule "compiler/coq"] path = compiler/coq url = http://git.megacz.com/coq-garrows.git