[zypp-commit] r10030 - in /trunk/sat-solver: package/libsatsolver.changes src/knownid.h tools/repo_content.c