@2356157:gnuradio-3.10.12.0-9.mga11.src.rpm: ok