| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| repodata/ | - | 22-Dec-2022 21:45 |
| Packages/ | - | 22-Dec-2022 19:20 |
| media.repo | 101 | 22-Dec-2022 19:24 |
| extra_files.json | 491 | 22-Dec-2022 18:44 |
| LICENSE | 18K | 22-Dec-2022 18:44 |
| GPL | 18K | 22-Sep-2022 13:35 |
| EULA | 298 | 22-Dec-2022 18:44 |