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

NameLast ModifiedSizeType
../  Directory
849d168979e7cf62ae1efb29a3d1411cbd9481cd921cc9f3356fea4b4ee19ec2-filelists.xml.gz2025-May-07 15:11:5424.57K GZ Compressed Archive
e4176efa5e53fd58a93084de00a5ee0b7e67f8bb01830d43c500d6de41f1bffd-primary.xml.gz2025-May-07 15:11:541.27K GZ Compressed Archive
ceee20875bb2e85acd1fddab96f6914018ce3ef62c38820b739fad2ba80e4a5e-other.xml.gz2025-May-07 15:11:54611.00B GZ Compressed Archive
repomd.xml2025-May-07 15:11:541.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build