Index of /repositories/home:/ethz/

../
Fedora_40/                                         28-Jul-2025 15:29                   -
xUbuntu_20.04/                                     28-Jul-2025 15:39                   -
xUbuntu_22.04/                                     28-Jul-2025 15:39                   -
xUbuntu_24.04/                                     28-Jul-2025 15:34                   -