MarsSeed [1] filed a deletion request for jdk13-openjdk-bin [2]: Cleanup of deprecated JDK 13 short-term support packages. JDK 13 is EOL since March 2020; not even security patches or critical fixes get delivered after that date. Users should migrate to a newer JDK/JRE. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/jdk13-openjdk-bin/