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

NameLast ModifiedSizeType
../  Directory
4472c3ce63addbe60becf196b6d891cdaa786b4c1abd7142dcf68178db695ce5-primary.xml.gz2026-Mar-29 10:25:041.30K GZ Compressed Archive
15d7f3bb8ca77da9cb7f96114353d7c9020dfcd4c22e57cb5c1dfb6af5b5a55a-filelists.xml.gz2026-Mar-29 10:25:0457.46K GZ Compressed Archive
84350427d2e1c917d505bb8fadd517daaad4d2758e4d59944b9caec735f426a4-other.xml.gz2026-Mar-29 10:25:04531.00B GZ Compressed Archive
repomd.xml2026-Mar-29 10:25:041.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project