python-mypy-0.780-1.mga8.src.rpm build ok