ovaldi maintainer here. Will update it as soon as possible. Last time when I tried the update, it's incompatible with rpm 4.12+... -- Yours sincerely, Christopher Meng http://awk.io