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