[zypp-commit] r9303 - in /trunk/sat-solver/tools: CMakeLists.txt repo_updateinfo.h repo_updateinfoxml.c updateinfoxml2solv.c