Index of /results/petersen/lean4/fedora-42-ppc64le/repodata/

NameLast ModifiedSizeType
../  Directory
d0ce82b7e59c9165f079357c4de9edb8518b6a2dd01ebcac578d05e979d36650-primary.xml.gz2026-Feb-25 16:49:351.30K GZ Compressed Archive
1b3e58ab062b08de356654b4e5b32550174c715e020ac21864fad3ddb1bf712b-other.xml.gz2026-Feb-25 16:49:35620.00B GZ Compressed Archive
3b5ff9e08a851aad35a678d43a65e4f2fdf3536998695f1e69fb5061065afb26-filelists.xml.gz2026-Feb-25 16:49:3555.62K GZ Compressed Archive
repomd.xml2026-Feb-25 16:49:351.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project