Index of /results/petersen/lean4/epel-10-aarch64/repodata/

NameLast ModifiedSizeType
../  Directory
901ed1d0eb2b3d409c2e8f9dec60c0153834ef13e2f3dac5daa4f1cd8ba79cb9-primary.xml.gz2026-Feb-24 19:51:441.33K GZ Compressed Archive
89d175a65369e08b804b8ae08104bcc2b1e4236162f29789a2549ae2880a1321-filelists.xml.gz2026-Feb-24 19:51:4455.97K GZ Compressed Archive
7d38e625296e5ff199d7b75a62be749a3120c43deab2ce2a0e5d47acc7cdc141-other.xml.gz2026-Feb-24 19:51:44619.00B GZ Compressed Archive
repomd.xml2026-Feb-24 19:51:451.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project