Index of /results/petersen/lean4/fedora-rawhide-aarch64/repodata/

NameLast ModifiedSizeType
../  Directory
66af2ae0babbce909566290ebba50f749cf3d4674324d0732108270c9f28bc40-primary.xml.gz2025-Jul-01 05:00:531.28K GZ Compressed Archive
064c87281951b915f4ecde9964693c94a4b052cb0455cf0ca60c5562d6998894-other.xml.gz2025-Jul-01 05:00:53631.00B GZ Compressed Archive
56e60f00ccc8adfab73e835b7529ee15100af851dd8db1b2f778728bde48aba4-filelists.xml.gz2025-Jul-01 05:00:5329.78K GZ Compressed Archive
repomd.xml2025-Jul-01 05:00:531.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build