[zypp-commit] r11526 - in /trunk/sat-solver: package/libsatsolver.changes src/poolarch.c