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

NameLast ModifiedSizeType
../  Directory
669801b391de47bad2316e487ae9b82a966fcac4a175e50e1d0f2237613107bf-filelists.xml.gz2026-Aug-17 10:32:1774.15K GZ Compressed Archive
0c4ed6aeafb6a7b7663419e2b00c47396ad63784f611232357f4db2ad8409525-other.xml.gz2026-Aug-17 10:32:17539.00B GZ Compressed Archive
0716199bb1049f641c52ab1951a914ccc978e06f8db148a96b5b0e2fce609321-primary.xml.gz2026-Aug-17 10:32:171.37K GZ Compressed Archive
repomd.xml2026-Aug-17 10:32:171.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project