@2234242:phppgadmin-7.13.0-4.mga10.src.rpm: ok