|
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
repodata/ | - | 08-Nov-2023 22:00 |
Packages/ | - | 18-May-2023 03:24 |
media.repo | 101 | 18-May-2023 03:35 |
extra_files.json | 942 | 18-May-2023 02:51 |
RPM-GPG-KEY-rockyofficial | 1672 | 18-May-2023 02:51 |
COMMUNITY-CHARTER | 5504 | 18-May-2023 02:51 |
EULA | 372 | 18-May-2023 02:51 |
LICENSE | 2204 | 18-May-2023 02:51 |