[zypp-commit] r8072 - in /trunk/sat-solver: src/attr_store.c src/attr_store_p.h src/repo.c src/repo.h src/repo_solv.c tools/dumpsolv.c