python-jedi-0.19.2-1.mga10.src.rpm build ok