MarsSeed [1] filed a deletion request for microsoft-python-language- server-git [2]: Abandoned package. Actual development discontinued after 2021; repo archived since 2022. [a] [a]: https://github.com/microsoft/python-language-server/commits/master [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/microsoft-python-language-server-git/