lunar-linux/moonbase-other — pull request #146 by v4hn (2013-11-05 12:43:51+00:00)
Title: clingo: introduce clingo to -other

gringo and clasp are both parts of the project
and don't need to be packaged on their own anymore