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

NameLast ModifiedSizeType
../  Directory
40f60a832514c1732ee478b8e3ca7f3e15521d26786111783600737e47ddcc0f-filelists.xml.gz2026-Aug-17 10:32:2374.60K GZ Compressed Archive
62eb5718402cecfd51278b7b25b0132f390bd30c6f08e00f504184315e621ded-primary.xml.gz2026-Aug-17 10:32:231.36K GZ Compressed Archive
0a00b200db48d62655878c4268fa0811e86923e31b421f04af541b543442d20d-other.xml.gz2026-Aug-17 10:32:23539.00B GZ Compressed Archive
repomd.xml2026-Aug-17 10:32:231.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project