[zypp-commit] r8009 - in /trunk/libzypp/zypp/sat: Pool.cc SATResolver.cc