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

NameLast ModifiedSizeType
../  Directory
f70ad7a5a42fd5957ce8371c80da684c9e84d548f0129664e95e7067c2e382d9-other.xml.gz2026-Feb-24 19:51:39619.00B GZ Compressed Archive
ce1d3769358a52f76359fb506c86d4fa645e962607d2a8b88e89846a2d969911-filelists.xml.gz2026-Feb-24 19:51:3955.61K GZ Compressed Archive
5e93e7c42417918fcaa4532bf0a4d10fa2d26711a3dbdd747f99cd72fefcccb8-primary.xml.gz2026-Feb-24 19:51:391.33K GZ Compressed Archive
repomd.xml2026-Feb-24 19:51:391.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project