21 Apr
2025
21 Apr
'25
11:47 a.m.
MarsSeed [1] filed a deletion request for drjava [2]: This beta version IDE is EOL since 2019, and is incompatible with Java
8.
Also the currently configured upstream URL now leads to a fake site. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/drjava/