architecture: arm64 packages: - python3-mypy-dbgsym - python3-mypy srcpkg_name: mypy srcpkg_version: 1.13.0-1 version: 1.13.0-1