@2247753:android-tools-35.0.2-3.mga10.src.rpm: ok