hexchain [1] filed a request to merge python-mypy-lang [2] into python-mypy [3]:
Please merge python-mypy-lang into python-mypy because upstream has changed its PyPI name. [1] https://aur.archlinux.org/account/hexchain/ [2] https://aur.archlinux.org/pkgbase/python-mypy-lang/ [3] https://aur.archlinux.org/pkgbase/python-mypy/
