Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at ftp.uni-erlangen.de Port 80
Parent Directory - 0.10.0-rc/ 2023-09-28 15:56 - 0.10.1-rc/ 2023-12-21 15:00 - 0.11.0-rc.2/ 2024-04-30 17:37 - 0.11.0-rc.3/ 2024-05-14 17:21 - 0.11.0/ 2024-06-04 14:03 - 0.5.0-beta.9/ 2021-11-25 16:56 - 0.6.0-beta.1/ 2022-09-29 18:50 - 0.7.0-rc/ 2022-12-21 13:49 - 0.7.2-rc/ 2023-06-07 10:57 - latest/ 2024-06-04 16:55 -