[submodule "PUGH"] path = PUGH url = git://git.khirnov.net/thorns/PUGH/ [submodule "PUGHInterp"] path = PUGHInterp url = git://git.khirnov.net/thorns/PUGHInterp/ [submodule "PUGHReduce"] path = PUGHReduce url = git://git.khirnov.net/thorns/PUGHReduce/ [submodule "PUGHSlab"] path = PUGHSlab url = git://git.khirnov.net/thorns/PUGHSlab/