@2354039:rust-proptest-1.11.0-2.mga11.src.rpm: ok