[zypp-commit] r9214 - in /trunk/sat-solver/src: pool.c repo_solv.c repodata.c