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

NameLast ModifiedSizeType
../  Directory
7df9aeebc8e1ffe2ab439bbbdb787a70c330d86882e40dfe4dd91b6e8b8c6fd3-filelists.xml.gz2026-Jan-26 07:20:2354.50K GZ Compressed Archive
repomd.xml2026-Jan-26 07:20:231.52K XML File
462ccaea6372cb12c406dc8dc0751752d12120f343fe62d0f2b18dceb8431fe4-other.xml.gz2026-Jan-26 07:20:23632.00B GZ Compressed Archive
dc230d54aae2fabbdfe9ef26caa6e62953557cf7162aac87bf2d7f2e547d759d-primary.xml.gz2026-Jan-26 07:20:231.29K GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project