[zypp-commit] r9124 - in /trunk/sat-solver: CMakeLists.txt bindings/CMakeLists.txt package/libsatsolver.spec.in