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

NameLast ModifiedSizeType
../  Directory
e1f8d4c9240d274f55425ac0c77fd8912f7e69532981d5fb8380519194286617-filelists.xml.gz2026-Feb-24 19:51:4355.62K GZ Compressed Archive
ae7b9d56251aa97b92b95a1b0bb80c7278b8a5d678acdca3525758181c2541e8-other.xml.gz2026-Feb-24 19:51:43619.00B GZ Compressed Archive
17d4565de01653da589f622d5d403cba0299a1efc6ed9e399079f791e02b9acb-primary.xml.gz2026-Feb-24 19:51:431.33K GZ Compressed Archive
repomd.xml2026-Feb-24 19:51:431.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project