hyperrogue-13.1g-2.mga10.src.rpm build ok