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

NameLast ModifiedSizeType
../  Directory
a60b34540c54855f4de16a568207279db648ac5fa92881fe1070b64e7ff1fc8d-filelists.xml.gz2026-Aug-17 10:32:2274.15K GZ Compressed Archive
d87361ac49d7e9f271de75f6dd4ce67810af1a3518b83208d03f1a78b4c74e31-other.xml.gz2026-Aug-17 10:32:22539.00B GZ Compressed Archive
fc2dafb037720ee1a8809dbb395f37fc03a7e667af5db03fddd4191fc334dfe0-primary.xml.gz2026-Aug-17 10:32:221.35K GZ Compressed Archive
repomd.xml2026-Aug-17 10:32:221.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project