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

NameLast ModifiedSizeType
../  Directory
e7885f6b4267b932290bfc41916ea1254319e4b3a33ba1e79543f9604e8645cd-primary.xml.gz2025-Sep-18 05:57:321.28K GZ Compressed Archive
3d3e783691e8fccf3947e31707787bb9a85c8d97b47d780a1f5472fced90693e-filelists.xml.gz2025-Sep-18 05:57:3247.96K GZ Compressed Archive
cb4863ba6e42731eac611885b736883873d7e09674ee1226d9297d9f64165925-other.xml.gz2025-Sep-18 05:57:32627.00B GZ Compressed Archive
repomd.xml2025-Sep-18 05:57:321.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project