@2243554:gnuradio-3.10.12.0-3.mga10.src.rpm: ok