[zypp-commit] r9177 - in /trunk/sat-solver/src: dirpool.c pool.c repodata.c util.h