[zypp-commit] r8117 - in /trunk/sat-solver: src/repo.h src/repo_solv.c tools/repo_write.c