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

NameLast ModifiedSizeType
../  Directory
607f8a47d773d17bf24d6f0b91c80ab88f9807f4d41bf7b563e2956f120ad5e2-primary.xml.gz2025-Oct-22 05:43:461.28K GZ Compressed Archive
f89b96747093eed1fb7200f1893d4ad5a2904df23c49d354437089013b00e58b-other.xml.gz2025-Oct-22 05:43:46628.00B GZ Compressed Archive
5125d3f0a4372f3b9b1c7f95626c2fecddcbe723a65ee41dc9411ee2fd8d0428-filelists.xml.gz2025-Oct-22 05:43:4650.98K GZ Compressed Archive
repomd.xml2025-Oct-22 05:43:461.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project