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

NameLast ModifiedSizeType
../  Directory
9999acca919764fb5459b1700f33e0dd79dbc726e6d82a6e537ecd7a9b943beb-primary.xml.gz2026-Jan-26 07:20:321.32K GZ Compressed Archive
8a6b465c929052377f5e17dbbeda1ded79ae1df536f4f6b7cc5ccf9dff10a6a4-other.xml.gz2026-Jan-26 07:20:32633.00B GZ Compressed Archive
ff01f92d6e9d4e3ff2dd04daf154be37ebe4431b4717a48d300e44da16015f40-filelists.xml.gz2026-Jan-26 07:20:3254.50K GZ Compressed Archive
repomd.xml2026-Jan-26 07:20:321.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project