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

NameLast ModifiedSizeType
../  Directory
b66f5b1a620600fea9bc795790ea8906cc08384cf2bbac6916af8ce084f3a524-filelists.xml.gz2026-Jun-15 09:35:5659.99K GZ Compressed Archive
b7869ca6392b1c892d03ab4039739f790f3e792f41fabfd17b2cda692caf5c34-other.xml.gz2026-Jun-15 09:35:56533.00B GZ Compressed Archive
2230f14eaf9cdecce08cec9068e3bffc0afd3d7b8f9fb1fe933d12e570fe83ca-primary.xml.gz2026-Jun-15 09:35:561.34K GZ Compressed Archive
repomd.xml2026-Jun-15 09:35:561.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project