[zypp-commit] <sat-solver> master : - work around obsoleteusescolor problem by making infarch rules weak