iverilog-13.0-1.mga10.armv7hl.rpm
iverilog-debuginfo-13.0-1.mga10.armv7hl.rpm
iverilog-debugsource-13.0-1.mga10.armv7hl.rpm