File z3-debugsource-4.12.5-1.1.x86_64.rpm is obsolete. Try find newer z3-debugsource for OpenSuSE