[submodule "etc/coq-scripts"] path = etc/coq-scripts url = https://github.com/JasonGross/coq-scripts.git [submodule "coqprime"] path = coqprime url = https://github.com/thery/coqprime ignore = dirty