hexchain [1] filed a request to merge python-mypy [2] into mypy [3]: Change name according to guidelines [1] https://aur.archlinux.org/account/hexchain/ [2] https://aur.archlinux.org/pkgbase/python-mypy/ [3] https://aur.archlinux.org/pkgbase/mypy/