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

NameLast ModifiedSizeType
../  Directory
9eb08669d3f6ce4c176c8f385632c12870bd815b18e717e2444996bba2d37f56-other.xml.gz2026-Jun-15 09:35:49533.00B GZ Compressed Archive
ae9b2471b701dbff0218ed519b00dc3dd746718f47a43d10edca5ee49d137c69-filelists.xml.gz2026-Jun-15 09:35:4960.44K GZ Compressed Archive
b03f795af2d57f14a08479933b192706e3549f3e36a189da333641275a8c3c89-primary.xml.gz2026-Jun-15 09:35:491.33K 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