| Name | Last Modified | Size |
|---|---|---|
| Parent Directory | ||
| repodata/ | 17-Sep-2025 13:45 | |
| src/ | 17-Sep-2025 13:45 | |
| x86_64/ | 17-Sep-2025 13:45 | |
| home:ethz.repo | 28-Jul-2025 15:29 | 240 Byte |
| Name | Last Modified | Size |
|---|---|---|
| Parent Directory | ||
| repodata/ | 17-Sep-2025 13:45 | |
| src/ | 17-Sep-2025 13:45 | |
| x86_64/ | 17-Sep-2025 13:45 | |
| home:ethz.repo | 28-Jul-2025 15:29 | 240 Byte |