[zypp-commit] r9378 - in /trunk/sat-solver: VERSION.cmake package/libsatsolver.changes package/libsatsolver.spec.in testsuite/CMakeLists.txt