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

NameLast ModifiedSizeType
../  Directory
fd8341f02d4583e39ae7dc1a7cab227542b2ff4e080ac2b94f01f3676d68a21c-other.xml.gz2025-Sep-18 05:57:28630.00B GZ Compressed Archive
e12b0661b2ac0197f0411300542cd570b9bd85b5e43b90bea30b7b1ca5c65f99-filelists.xml.gz2025-Sep-18 05:57:2847.97K GZ Compressed Archive
281df22ca987efb9d83273eaa0dd0d0c77f1ffab9033cbe1a1b1f5862e01a6f0-primary.xml.gz2025-Sep-18 05:57:281.28K GZ Compressed Archive
repomd.xml2025-Sep-18 05:57:281.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project