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