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

NameLast ModifiedSizeType
../  Directory
d2697eb43cd4067b3130784bf47667398ec2e17fc7f98c89cc9786fb9d6a65d0-filelists.xml.gz2025-Jul-01 05:00:5629.78K GZ Compressed Archive
2cf50fa701b7f131eba54a56ae98c1061a8bbfb18fb5c3ef54097b2a85d02d13-other.xml.gz2025-Jul-01 05:00:56632.00B GZ Compressed Archive
d8de889de3c7fc4a59b97edd255cb34645e00d91ec365bff084f49be73a527cf-primary.xml.gz2025-Jul-01 05:00:561.29K GZ Compressed Archive
repomd.xml2025-Jul-01 05:00:561.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build