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

NameLast ModifiedSizeType
../  Directory
1f03d3a919fec8e75306465abd78098826f3707908ab475c06e0bd72745d81d9-primary.xml.gz2026-Jan-26 07:20:241.34K GZ Compressed Archive
965141b451480e75c893f89cece84f2d2e23cdd5257aecc19b47a6f09038cca6-filelists.xml.gz2026-Jan-26 07:20:2454.50K GZ Compressed Archive
repomd.xml2026-Jan-26 07:20:241.52K XML File
3915d764a4b45067204af58cd68f42dcc531102b702af9222d917fa9c212b71d-other.xml.gz2026-Jan-26 07:20:24631.00B GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project