File rust-proptest+lazy_static-devel-1.4.0-1.el9.noarch.rpm is obsolete. Try find newer rust-proptest+lazy_static-devel for Fedora 9