rust-proptest0.10-0.10.1-5.mga10.src.rpm build ok