@2235235:mawk-1.3.4-0.20250131.2.mga10.src.rpm: ok