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

NameLast ModifiedSizeType
../  Directory
e8adad2a24e902f919ae5d84c4d1507c1d68270398e557a38c0172b097d5fd41-filelists.xml.gz2026-May-09 06:01:2157.46K GZ Compressed Archive
0c42f8abf7a7b5d6869528c0b5108108493f3bb66656684d173609f5c6a4bd42-primary.xml.gz2026-May-09 06:01:211.33K GZ Compressed Archive
5e950a8b05528288a23aeffc33bba15bf5a20aa95e00b7f57b83d9a51a9c31f5-other.xml.gz2026-May-09 06:01:21531.00B GZ Compressed Archive
repomd.xml2026-May-09 06:01:211.52K XML File
Lighttpd Enhanced Directory Listing Script
Go to COPR frontend build | Go to Pulp results for this project