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

NameLast ModifiedSizeType
../  Directory
a60b34540c54855f4de16a568207279db648ac5fa92881fe1070b64e7ff1fc8d-filelists.xml.gz2026-Aug-15 00:29:1074.15K GZ Compressed Archive
d87361ac49d7e9f271de75f6dd4ce67810af1a3518b83208d03f1a78b4c74e31-other.xml.gz2026-Aug-15 00:29:10539.00B GZ Compressed Archive
fc2dafb037720ee1a8809dbb395f37fc03a7e667af5db03fddd4191fc334dfe0-primary.xml.gz2026-Aug-15 00:29:101.35K GZ Compressed Archive
repomd.xml2026-Aug-15 00:29:101.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project