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

NameLast ModifiedSizeType
../  Directory
2b241d60311209c0b13e75b7221cefb814dcad8daf77f33e6acba5133e416017-other.xml.gz2025-Apr-04 05:13:491004.00B GZ Compressed Archive
db7a34d646be3560ed2ec09331ce14615d9a8b32c77dd9bc240964ef4c78b2b9-primary.xml.gz2025-Apr-04 05:13:491.83K GZ Compressed Archive
24d7a9ca1e9da03878e0e21c1654e9f7f43a41b568365a5947b5a2d61c2f2593-filelists.xml.gz2025-Apr-04 05:13:4940.10K GZ Compressed Archive
repomd.xml2025-Apr-04 05:13:491.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build