[submodule "grecs"] path = grecs url = git://git.gnu.org.ua/grecs.git [submodule "imprimatur"] path = imprimatur url = git://git.gnu.org.ua/imprimatur.git