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

NameLast ModifiedSizeType
../  Directory
b0c59a8c638da8b10512437507ee8af5a3b084617f5f3e36665d88b86874cf08-filelists.xml.gz2026-Mar-29 10:25:1457.46K GZ Compressed Archive
833fccb78c5c7ec7505aa68f62ed614fb3c3701db992c83daa26450143e0c7f0-primary.xml.gz2026-Mar-29 10:25:141.32K GZ Compressed Archive
72c6c97a0f8b81e249a43e680609cb7b9e7fc86fe7ca287bd556845bcfe593af-other.xml.gz2026-Mar-29 10:25:14531.00B GZ Compressed Archive
repomd.xml2026-Mar-29 10:25:141.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project