File z3-debugsource-4.13.4-1.fc42.i686.rpm is obsolete. Try find newer z3-debugsource for Rawhide