[zypp-commit] r8715 - in /trunk/sat-solver/tools: dumpsolv.c repo_susetags.c repo_write.c