lucaswerkmeister [1] filed a request to merge graalpython-jdk17-bin [2] into graalpy-jdk17-bin [3]: Upstream renamed from GraalPython to GraalPy in version 22.3.0 (https://www.graalvm.org/release-notes/22_3/#python). Cf. PRQ#37999 for the jdk11 package. [1] https://aur.archlinux.org/account/lucaswerkmeister/ [2] https://aur.archlinux.org/pkgbase/graalpython-jdk17-bin/ [3] https://aur.archlinux.org/pkgbase/graalpy-jdk17-bin/