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

NameLast ModifiedSizeType
../  Directory
0aff68e4e4c12730f162cca437878325f4ba310176ef00d7766e462dddf9c4de-primary.xml.gz2026-Feb-24 19:51:371.33K GZ Compressed Archive
0534050ae4bffccdc968ef6f08f3f28e54904f28919d6383f171357b79477730-other.xml.gz2026-Feb-24 19:51:37620.00B GZ Compressed Archive
b8744b42721e2b2d8955fbf14fafbf1439354e3e6dac18cf55c7016580a91a51-filelists.xml.gz2026-Feb-24 19:51:3755.62K GZ Compressed Archive
repomd.xml2026-Feb-24 19:51:371.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project