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

NameLast ModifiedSizeType
../  Directory
c2e423cc3cbefd73698b4349d477fa00ce7cd7eff5926b9c50416b5e9d6f5ce9-other.xml.gz2025-Oct-22 05:43:48629.00B GZ Compressed Archive
274e8fa3e3ac4f1e59abea99163188434ada6a5e66035ef9c78554d8d54faa39-primary.xml.gz2025-Oct-22 05:43:481.29K GZ Compressed Archive
70711e232565e96c9154c0f90f33cf926833e1598280db16891f9a7c836e6dfb-filelists.xml.gz2025-Oct-22 05:43:4850.98K GZ Compressed Archive
repomd.xml2025-Oct-22 05:43:481.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project