install openjdk 17

This commit is contained in:
♥ Minnie ♥ 2025-06-23 23:17:05 +08:00
parent 92f35bf09d
commit e99cf1e064
Signed by: jasmine
GPG key ID: 8563E358D4E8040E

View file

@ -7,6 +7,7 @@
[
# Toolchains
gcc
jdk17
python313
# Typesetting