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

NameLast ModifiedSizeType
../  Directory
ae547979ee83dd41cffec25bf11bffdae431a39e3e931e8fcd1727ac94651194-other.xml.gz2025-Oct-22 05:43:45630.00B GZ Compressed Archive
fabafc948209445d4c4a604371b772a6fa4cdb539d11fb26385e0896a49bbf30-filelists.xml.gz2025-Oct-22 05:43:4550.98K GZ Compressed Archive
501c6e870a6f051f8c41b44aa00bd1858f6a1bc6f13701a22e905c186cb21e90-primary.xml.gz2025-Oct-22 05:43:451.28K GZ Compressed Archive
repomd.xml2025-Oct-22 05:43:451.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project