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

NameLast ModifiedSizeType
../  Directory
f34b47fabe2f469ecf144d9370cb0ca5250b2e9d9cba0d1d8bdd721b58c1360d-other.xml.gz2026-Jun-15 09:35:49534.00B GZ Compressed Archive
f5987572aeb07c4e48ec2ca1688c5e1d0e5450e74672d1be7fdb320c5e8746b3-primary.xml.gz2026-Jun-15 09:35:491.33K GZ Compressed Archive
d7d30ef85d529a9eb55ff9b7ae06ba73d2ec3dfc06eea2a4bd605fa7466ea64f-filelists.xml.gz2026-Jun-15 09:35:4960.00K GZ Compressed Archive
repomd.xml2026-Jun-15 09:35:491.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project