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

NameLast ModifiedSizeType
../  Directory
0ec0d4e8fcc30f77faad125094db187ea5d5ff7c499de1577c0d460641f69ef4-other.xml.gz2025-Apr-04 05:13:51998.00B GZ Compressed Archive
0512687edc01f872bc8d76bc7a0b6594aa0039136510bf12119a222c8ca5815b-primary.xml.gz2025-Apr-04 05:13:511.83K GZ Compressed Archive
03a9d8b13b92d05cca164ab487fc9b7540aaa67029d0c4d77d905623f5841a17-filelists.xml.gz2025-Apr-04 05:13:5140.37K GZ Compressed Archive
repomd.xml2025-Apr-04 05:13:511.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build