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, [email protected] 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/