Apache/2.4.41 (Ubuntu) Server at ftp.fau.de Port 80Name Last modified Size Description
Parent Directory -
0.9.10/ 2014-07-18 23:09 -
previous/ 2014-07-18 23:09 -
1.0.0/ 2016-11-30 14:54 -
1.2.0/ 2016-11-30 14:58 -
1.4.0/ 2016-11-30 15:02 -
1.6.0/ 2020-01-05 22:49 -
1.8.0/ 2022-06-30 08:50 -
1.8.0-legacyjdk/ 2022-06-30 10:11 -
release/ 2023-02-12 17:07 -