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

NameLast ModifiedSizeType
../  Directory
144030fa130c35bce7d5a3753c706e8cd65995e88618091f5eff54afa8b548c9-other.xml.gz2026-Jun-15 09:35:49535.00B GZ Compressed Archive
959ac36e5af579d3f6d8b7cc5350d375c681a4fe8150cd94e48f82e51993d8f6-filelists.xml.gz2026-Jun-15 09:35:4960.00K GZ Compressed Archive
04175b666ba64e21874de06ce6fc66d7b8cdb455916cfc460fc21b3c0b8d69a7-primary.xml.gz2026-Jun-15 09:35:491.38K GZ Compressed Archive
repomd.xml2026-Jun-15 09:35:491.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project