@2254143:kdevelop-php-25.07.80-1.mga10.src.rpm: ok