| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| repodata/ | - | 2023-May-05 16:21:51Z |
| Packages/ | - | 2022-Nov-10 21:22:45Z |
| media.repo | 99 | 2022-Nov-10 21:34:48Z |
| EULA | 372 | 2022-Nov-10 20:46:07Z |
| extra_files.json | 942 | 2022-Nov-10 20:46:08Z |
| RPM-GPG-KEY-rockyofficial | 1672 | 2022-Nov-10 20:46:07Z |
| LICENSE | 2204 | 2022-Nov-10 20:46:06Z |
| COMMUNITY-CHARTER | 5504 | 2022-Nov-10 20:46:07Z |