[zypp-commit] r9010 - in /trunk/sat-solver/src: pool.c pool.h poolid.c repodata.c solvable.c