Apache/2.4.58 (Ubuntu) Server at ftp.uni-erlangen.de Port 443Name Last modified Size Description
Parent Directory -
java-z3-4.15.3-1.fc42.aarch64.rpm 2025-08-17 16:56 226K
jql-8.0.7-1.fc42.aarch64.rpm 2025-08-12 13:17 595K
just-1.42.4-1.fc42.aarch64.rpm 2025-08-11 01:50 1.4M