[zypp-commit] r7502 - /trunk/sat-solver/libsatsolver.spec