@2355695:rust-proptest-1.11.0-3.mga11.src.rpm: ok