Re: [fedora-arm] Koji - RPM naming