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

NameLast ModifiedSizeType
../  Directory
af1b929e9bcc4ed8af1163928f5aa786ec43e11484263f607119d978b4204bda-filelists.xml.gz2026-May-09 06:01:2357.46K GZ Compressed Archive
f939e70cd6f5bc52cb15c3fe0a4cf3fd50cfc629cf2ff3da7e8b46f8caa5c226-other.xml.gz2026-May-09 06:01:23528.00B GZ Compressed Archive
36d8a57f27e1d2cdae7bd725641e5118e5e7e66f530b15d0b29f6371b30e4a49-primary.xml.gz2026-May-09 06:01:231.32K GZ Compressed Archive
repomd.xml2026-May-09 06:01:231.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project