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

NameLast ModifiedSizeType
../  Directory
5784ede3e95c2943397e2852452c08bdfbfa8a478e8ab515a889851b0483957d-other.xml.gz2026-Mar-29 10:25:16530.00B GZ Compressed Archive
2ac73645a8c9d5fb61b565a902c823710ff69e5a02743fad74691cf59bf38a9d-filelists.xml.gz2026-Mar-29 10:25:1657.46K GZ Compressed Archive
06a70c57e241f210e859f9863324b654b0302ada71881370fea53a8de079938a-primary.xml.gz2026-Mar-29 10:25:161.33K GZ Compressed Archive
repomd.xml2026-Mar-29 10:25:161.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project