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