[submodule "packages/chr"] path = packages/chr url = git://prolog.cs.vu.nl/home/pl/git/chr.git