| Name | Last Modified | Size |
|---|---|---|
| Parent Directory | ||
| repodata/ | 17-May-2023 08:32 | |
| src/ | 17-May-2023 08:32 | |
| x86_64/ | 17-May-2023 08:32 | |
| home:ethz.repo | 17-May-2023 08:32 | 240 Byte |
| Name | Last Modified | Size |
|---|---|---|
| Parent Directory | ||
| repodata/ | 17-May-2023 08:32 | |
| src/ | 17-May-2023 08:32 | |
| x86_64/ | 17-May-2023 08:32 | |
| home:ethz.repo | 17-May-2023 08:32 | 240 Byte |