File rust-proptest0.10-devel-0.10.1-11.fc42.noarch.rpm is obsolete. Try find newer rust-proptest0.10-devel for Rawhide