@2236136:python-mypy-extensions-1.0.0-6.mga10.src.rpm: ok