MarsSeed [1] filed a deletion request for jdk17-microsoft-openjdk [2]: Unneeded package. This is actually just Microsoft's build (binary) of the same jdk17-openjdk whose latest version is carried by [extra] repo. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/jdk17-microsoft-openjdk/