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