Have you looked into this? It's a dependency for a CNC software package. It won't work without this specific version. The depending package is actively being worked on and has since migrated to jdk17, but building with jdk17 currently fails and succeeds with openjdk13. I'm working with the devs to find a solution. So for now it is still required until the problem is resolved. On 16-10-23 14:39, notify@aur.archlinux.org wrote:
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 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/