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