1 2 3
[submodule "clingo-sys/clingo"] path = clingo-sys/clingo url = https://github.com/potassco/clingo.git