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

NameLast ModifiedSizeType
../  Directory
d735072958891b4b91f757abdd1bab480a575dc894011855dff11e3fdeb5274d-filelists.xml.gz2024-Nov-04 08:16:0735.42K GZ Compressed Archive
f57202ff9b6ee94496245050609b7f53b4d8c467e162b54e06b386b7abee2ec9-primary.xml.gz2024-Nov-04 08:16:071.87K GZ Compressed Archive
8a0fbd4aa67716795f2808a034f694910bff4182e81f91439500a28b88e81096-other.xml.gz2024-Nov-04 08:16:07962.00B GZ Compressed Archive
repomd.xml2024-Nov-04 08:16:071.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build