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

NameLast ModifiedSizeType
../  Directory
dba858603ceff0af4acb8fb23a427c837af870f37f6cf5c0bd8d39eb72edff58-filelists.xml.gz2025-Nov-23 21:08:58102.62K GZ Compressed Archive
3ba1625db33e14db635df5d3f599e9711c0f75de78e0c10f9c10e93dda6605e2-primary.xml.gz2025-Nov-23 21:08:581.58K GZ Compressed Archive
repomd.xml2025-Nov-23 21:08:581.52K XML File
6f43d56acfe9be4fd35b3f36c377c9dcf2adf369bf279dd4cfbdaf9d77aceae4-other.xml.gz2025-Nov-23 21:08:58767.00B GZ Compressed Archive
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project