[zypp-commit] r11284 - in /trunk/sat-solver: src/repo.h tools/dumpsolv.c