python-mypy-extensions-1.0.0-5.mga10.src.rpm build ok