Re: [zypp-devel] Re: [zypp-commit] r10066 - in /trunk/sat-solver: package/libsatsolver.changes src/solvable.c